INT64 __stdcall MiUnlockAndDereferenceNestedVad(PVOID P){ BOOL v2; INT64 result; v2 = MiDereferenceVad((__int64)P); MiUnlockNestedVad((__int64)P); if( v2 ) ExFreePoolWithTag(P, 0); return result; }