HvlpWritePerfRegister

NTSTATUS __fastcall HvlpWritePerfRegister(UINT64 a1, INT64 a2, INT64 a3, INT64 a4){
  UINT16 v4; 
  UINT64 v6; 
  _QWORD v7[4]; 
  LODWORD(v6) = 0;
  v7[0] = (unsigned int)a1;
  v7[3] = a4;
  v7[1] = a2;
  v7[2] = a3;
  v4 = HvcallFastExtended(65563i64, v7, 0x20ui64, 0i64, v6);
  return HvlpHvToNtStatus(v4);
}

Referenced by:

HvlWritePerfIoPort
HvlWritePerfMsr