UINT64 __fastcall MiMakeTransitionPteValid(UINT64 a1){
unsigned __int64 v2;
unsigned __int64 v3;
v2 = MI_READ_PTE_LOCK_FREE(a1);
v3 = v2;
if( qword_140C4DC80 )
{
if( (v2 & 0x10) != 0 )
v3 = v2 & 0xFFFFFFFFFFFFFFEFui64;
else
v3 = v2 & ~qword_140C4DC80;
}
return MiMakeValidPte(a1, (v3 >> 12) & 0xFFFFFFFFFi64, (v2 >> 5) & 0x1F);
}