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