Searched refs:ADDR_MASK_32_TO_35 (Results 1 – 3 of 3) sorted by relevance
56 if ((max_addr & ADDR_MASK_32_TO_35) != 0U) in calc_physical_addr_size_bits()
78 if ((max_addr & ADDR_MASK_32_TO_35) != 0U) in tcr_physical_addr_size_bits()
607 #define ADDR_MASK_32_TO_35 ULL(0x0000000F00000000) macro