Line data    Source code

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