NTSTATUS __stdcall HvlWritePerfMsr(const VOID *a1, const VOID *a2){ __int64 v2; __int64 v3; return HvlpWritePerfRegister((unsigned int)a1, (unsigned int)a2 | 0x10000000000000i64, v2, v3); }