1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <asm/processor.h>
3 
phys_addr_valid(resource_size_t addr)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