arch/x86/mm/physaddr.h

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