kernel/arch/x86/mm/physaddr.h

   1 #include <asm/processor.h>
   2
   3 static inline int phys_addr_valid(resource_size_t addr)
   4 {
   5 #ifdef CONFIG_PHYS_ADDR_T_64BIT
   6         return !(addr >> boot_cpu_data.x86_phys_bits);
   7 #else
   8         return 1;
   9 #endif
  10 }