Branch data     Line data    Source code

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