VOID __fastcall CcReleaseBcbLockAndVacbLock(INT64 a1, struct FAST_MUTEX *a2){ int v2; v2 = a1; ExReleasePushLockEx((UINT64)&a2[1].OldIrql, 0i64); if( v2 ) KeReleaseGuardedMutex(a2 + 5); }