KiIsAddressRangeValid

CHAR __stdcall KiIsAddressRangeValid(INT64 a1, INT64 a2){
  unsigned __int64 v2; 
  unsigned __int64 v3; 

  v2 = a1 & 0xFFFFFFFFFFFFF000ui64;
  v3 = ((unsigned __int64)(a1 & 0xFFF) + a2 + 4095) >> 12;
  if( !v3 )
    return 1;
  while( v2 >= 0x10000 && MmIsAddressValidEx(v2) )
  {
    v2 += 4096i64;
    if( !--v3 )
      return 1;
  }
  return 0;
}

Referenced by: