VOID __stdcall HvUnlockHiveFlusherExclusive(INT64 a1){
VOID *v1;
v1 = (VOID *)(a1 + 72);
if( (_InterlockedExchangeAdd64((volatile signed __int64 *)(a1 + 72), 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
ExfTryToWakePushLock((_EX_PUSH_LOCK *)(a1 + 72));
KeAbPostRelease(v1);
}