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 } 12