MiUpdatePageFileHighInPte

NTSTATUS __stdcall MiUpdatePageFileHighInPte(INT64 a1, INT64 a2){
  INT64 v2; 

  if( a1 && *(&stru_140C4DB30 + 42) )
  {
    if( (a1 & 0x10) != 0 )
      LODWORD(a1) = a1 & 0xFFFFFFEF;
    else
      LODWORD(a1) = ~*(&stru_140C4DB30 + 84) & a1;
  }
  v2 = (a2 << 32) | (unsigned int)a1;
  if( *(&stru_140C4DB30 + 42) )
  {
    if( (*(&stru_140C4DB30 + 42) & v2) != 0 )
      LODWORD(v2) = a1 | 0x10;
    else
      LODWORD(v2) = *(&stru_140C4DB30 + 84) | a1;
  }
  return v2;
}

Referenced by: