INT64 __fastcall MiUpdateTransitionPteFrame(INT64 a1, INT64 a2){
if( qword_140C4DC80 )
{
if( (a1 & 0x10) != 0 )
a1 &= ~0x10ui64;
else
a1 &= ~qword_140C4DC80;
}
return MiSwizzleInvalidPte((a1 ^ (a2 << 12)) & 0xFFFFFFFFF000i64 ^ a1);
}