18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#include <asm/processor.h> 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_cistatic inline int phys_addr_valid(resource_size_t addr) 58c2ecf20Sopenharmony_ci{ 68c2ecf20Sopenharmony_ci#ifdef CONFIG_PHYS_ADDR_T_64BIT 78c2ecf20Sopenharmony_ci return !(addr >> boot_cpu_data.x86_phys_bits); 88c2ecf20Sopenharmony_ci#else 98c2ecf20Sopenharmony_ci return 1; 108c2ecf20Sopenharmony_ci#endif 118c2ecf20Sopenharmony_ci} 12