VOID __stdcall HviGetDebugDeviceOptions(UINT64 *DebugDeviceOptions){ if( HviIsHypervisorVendorMicrosoft() ) *DebugDeviceOptions = __readmsr(0x400000FFu); else *DebugDeviceOptions = 0i64; }