VOID __stdcall PpmSetPlatformIdleDurationHint(UINT64 DurationHINT64){
int ActiveProcessorCount;
UINT64 v3;
ActiveProcessorCount = KeQueryActiveProcessorCountEx(0xFFFFu);
if( ActiveProcessorCount != 1 )
{
v3 = 0xFFFFFFFFFFFFi64;
if( DurationHINT64 <= 0xFFFFFFFFFFFFi64 )
v3 = DurationHINT64;
_InterlockedExchange64(&PpmPlatformIdleHint, (unsigned __int16)(ActiveProcessorCount - 1) | (v3 << 16));
}
}