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