VOID __stdcall PpmEventIdleStateChange(UINT64 NewState, UINT64 OldState){
int v2[2];
unsigned __int64 GroupSetMember;
int *v4;
int v5;
int v6;
if( (xmmword_140CFB490 & 0x8000) != 0 )
{
v2[0] = NewState;
v2[1] = OldState;
v6 = 0;
v5 = 16;
GroupSetMember = KeGetCurrentPrcb()->GroupSetMember;
v4 = v2;
EtwTraceKernelEvent((__int64)&v4, 1u, 0x80008000, 0x1235u, 0x602u);
}
}