void __fastcall PspUnlockJobAssignment(__int64 a1){
if( (_InterlockedExchangeAdd64((volatile signed __int64 *)&PspJobAssignmentLock, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
ExfTryToWakePushLock((volatile INT64 *)&PspJobAssignmentLock);
KeAbPostRelease(&PspJobAssignmentLock);
if( a1 )
KiLeaveGuardedRegionUnsafe(a1);
}