__int64 __fastcall PspTerminatePicoProcess(ULONG_PTR a1, unsigned int a2){
_ETHREAD *CurrentThread;
unsigned int v3;
CurrentThread = (_ETHREAD *)KeGetCurrentThread();
--*((_WORD *)CurrentThread + 242);
v3 = PspTerminateProcess((_EPROCESS *)a1, CurrentThread, a2, 8ui64);
KeLeaveCriticalRegionThread((__int64)CurrentThread);
return v3;
}