VOID __stdcall HvlSetPlatformIdleState(UINT64 PlatformStateIndex){
int v1;
UINT64 v2;
__int128 result;
int v4;
v1 = PlatformStateIndex;
memset((INT64)&result, 0i64);
LODWORD(v2) = *((_DWORD *)KeGetPcr() + 105);
LODWORD(result) = 3;
DWORD2(result) = HvlGetLpIndexFromProcessorIndex(v2);
v4 = v1;
HvlpSetPowerProperty(&result);
}