NTSTATUS __stdcall MiLockAndIncrementShareCount(INT64 a1){
_MMPFN *v1;
unsigned __int64 v2;
NTSTATUS result;
v1 = &MmGetPfnDb()[a1];
v2 = MiLockPageInline(v1);
v1->u2._bf_0 ^= ((v1->u2._bf_0 + 1) ^ v1->u2._bf_0) & 0x3FFFFFFFFFFFFFFFi64;
_InterlockedAnd64(&v1->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
result = KiIrqlFlags;
__writecr8(v2);
return result;
}