NTSTATUS __stdcall PpmIdleDefaultExecute(
VOID *Context,
UINT64 ProcessorState,
UINT64 PlatformState,
UINT64 CoordinatedSelectionCount,
UINT64 *CoordinatedSelection){
if( (_DWORD)CoordinatedSelection )
__writemsr(0x48u, 0i64);
HalProcessorIdle();
if( (_DWORD)CoordinatedSelection )
__writemsr(0x48u, (unsigned int)CoordinatedSelection);
else
_mm_lfence();
return 0;
}