INT64 __fastcall PspUnlockJobListExclusive(__int64 a1){
char v2;
v2 = _InterlockedExchangeAdd64((volatile signed __int64 *)&PspJobListLock, 0xFFFFFFFFFFFFFFFFui64);
if( (v2 & 2) != 0 && (v2 & 4) == 0 )
ExfTryToWakePushLock((volatile INT64 *)&PspJobListLock);
KeAbPostRelease(&PspJobListLock);
return KiLeaveGuardedRegionUnsafe(a1);
}