VOID __fastcall AlpcpUnlockIncomingQueue(INT64 a1){
void *v1;
v1 = (void *)(a1 + 136);
if( (_InterlockedExchangeAdd64((volatile signed __int64 *)(a1 + 136), 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
ExfTryToWakePushLock((volatile INT64 *)(a1 + 136));
KeAbPostRelease(v1);
}