NTSTATUS __stdcall MiUpdateTransitionPteFrame(INT64 a1, INT64 a2){
if( *(&stru_140C4DB30 + 42) )
{
if( (a1 & 0x10) != 0 )
a1 &= ~0x10ui64;
else
a1 &= ~*(&stru_140C4DB30 + 42);
}
return MiSwizzleInvalidPte((a1 ^ (a2 << 12)) & 0xFFFFFFFFF000i64 ^ a1);
}