VOID __stdcall HvlSetPlatformIdleState(UINT64 PlatformStateIndex){
int v1;
UINT64 v2;
_OWORD v3[26];
v1 = PlatformStateIndex;
memset(v3, 0i64, 0x198u);
LODWORD(v2) = KeGetPcr()->Prcb.Number;
LODWORD(v3[0]) = 3;
DWORD2(v3[0]) = HvlGetLpIndexFromProcessorIndex(v2);
LODWORD(v3[1]) = v1;
HvlpSetPowerProperty(v3);
}