__int64 __fastcall SysCtxCloseMachine(PVOID P){
void *v2;
void *v3;
void *v4;
void *v5;
void *v6;
v2 = (void *)*((_QWORD *)P + 1);
if( v2 )
ZwClose(v2);
v3 = (void *)*((_QWORD *)P + 3);
if( v3 )
ZwClose(v3);
v4 = (void *)*((_QWORD *)P + 4);
if( v4 )
ZwClose(v4);
v5 = (void *)*((_QWORD *)P + 6);
if( v5 )
ZwClose(v5);
v6 = (void *)*((_QWORD *)P + 5);
if( v6 )
ZwClose(v6);
ExFreePoolWithTag(P, 0);
return 0i64;
}