GNU Linux-libre 4.14.266-gnu1
[releases.git] / arch / x86 / mm / physaddr.h
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 }