MiUpdatePageFileHighInPte

INT64 __fastcall MiUpdatePageFileHighInPte(INT64 a1, INT64 a2){
  INT64 result; 
  if( a1 && qword_140C4DC80 )
  {
    if( (a1 & 0x10) != 0 )
      LODWORD(a1) = a1 & 0xFFFFFFEF;
    else
      LODWORD(a1) = ~(_DWORD)qword_140C4DC80 & a1;
  }
  result = (a2 << 32) | (unsigned int)a1;
  if( qword_140C4DC80 )
  {
    if( (qword_140C4DC80 & result) != 0 )
      return result | 0x10;
    else
      return qword_140C4DC80 | result;
  }
  return result;
}

Referenced by: