MiSanitizePage

INT64 __fastcall MiSanitizePage(UINT64 a1){
  INT64 result; 
  result = a1 & 0xFFFFFFFFFi64;
  if( a1 < 0x1000000000i64 )
    return a1;
  return result;
}

Referenced by:

MiMapLockedPagesInUserSpace
MiMapViewOfPhysicalSection
MmRotatePhysicalView