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