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