INT64 __fastcall MiDoubleUnlockMdlPage(UINT64 a1){
unsigned __int64 v2;
INT64 result;
v2 = (unsigned __int8)MiLockPageInline(a1);
MiRemoveLockedPageChargeAndDecRef((_MMPFN *)a1);
_InterlockedAnd64((volatile signed __int64 *)(a1 + 24), 0x7FFFFFFFFFFFFFFFui64);
result = (unsigned int)KiIrqlFlags;
__writecr8(v2);
return result;
}