physaddr.h (231B)
1/* SPDX-License-Identifier: GPL-2.0 */ 2#include <asm/processor.h> 3 4static 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}