NTSTATUS __stdcall PpmIdleGuestExecute(
VOID *Context,
UINT64 ProcessorState,
UINT64 PlatformState,
UINT64 CoordinatedSelectionCount,
UINT64 *CoordinatedSelection){
if( (_DWORD)PlatformState )
__readmsr(0x400000F0u);
else
HalProcessorIdle();
return 0;
}