MiRealVaToFlushType

NTSTATUS __stdcall MiRealVaToFlushType(UINT64 a1){
  UINT64 v1; 
  __int64 v2; 
  NTSTATUS SystemRegionType; 
  NTSTATUS v4; 

  v1 = a1;
  if( a1 < 0xFFFF800000000000ui64 )
    return 1;
  if( a1 >= *(&stru_140C4DB30 + 174) )
  {
    LODWORD(v2) = MiHyperSpaceSize();
    if( v1 < *(&stru_140C4DB30 + 174) + v2 )
      return 1;
  }
  SystemRegionType = MiGetSystemRegionType(v1);
  v4 = 0;
  if( SystemRegionType == 1 )
    return 2;
  return v4;
}

Referenced by:

MiDbgReleaseAddress
MiDbgWriteCheck
MiFlushValidPteFromTb