INT64 __fastcall MiDoubleLockMdlPage(INT64 a1){
unsigned __int64 v2;
unsigned int locked;
v2 = (unsigned __int8)MiLockPageInline(a1);
locked = MiAddLockedPageCharge(a1, 0);
_InterlockedAnd64((volatile signed __int64 *)(a1 + 24), 0x7FFFFFFFFFFFFFFFui64);
__writecr8(v2);
return locked;
}