HvlpReadPerfRegister

INT64 __fastcall HvlpReadPerfRegister(UINT64 a1, INT64 a2, _QWORD *a3){
  unsigned int v3; 
  UINT16 v5; 
  UINT64 v7; 
  __int64 v8[2]; 
  __int64 v9[3]; 
  v3 = 0;
  v8[0] = (unsigned int)a1;
  v8[1] = a2;
  LODWORD(v7) = 16;
  v5 = HvcallFastExtended(65564i64, v8, 0x10ui64, v9, v7);
  if( v5 )
    return(unsigned int)HvlpHvToNtStatus(v5);
  else
    *a3 = v9[0];
  return v3;
}

Referenced by:

HvlReadPerfIoPort
HvlReadPerfMsr