INT64 __fastcall PsGetContextThread(__int64 a1, __int64 a2, UINT64 a3, _LARGE_INTEGER *a4){
UINT64 *ReturnLength;
UINT64 v6;
UINT64 v7;
LOBYTE(a4) = a3;
LODWORD(ReturnLength) = 1;
return PspGetContextThreadInternal((VOID *)a1, (_TRANSACTION_NOTIFICATION *)a2, a3, a4, ReturnLength, v6, v7);
}