Searched refs:max_addr (Results 1 – 3 of 3) sorted by relevance
34 unsigned long long max_addr) in calc_physical_addr_size_bits() argument37 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in calc_physical_addr_size_bits()40 if ((max_addr & ADDR_MASK_44_TO_47) != 0U) in calc_physical_addr_size_bits()44 if ((max_addr & ADDR_MASK_42_TO_43) != 0U) in calc_physical_addr_size_bits()48 if ((max_addr & ADDR_MASK_40_TO_41) != 0U) in calc_physical_addr_size_bits()52 if ((max_addr & ADDR_MASK_36_TO_39) != 0U) in calc_physical_addr_size_bits()56 if ((max_addr & ADDR_MASK_32_TO_35) != 0U) in calc_physical_addr_size_bits()
77 unsigned long long tcr_physical_addr_size_bits(unsigned long long max_addr) in tcr_physical_addr_size_bits() argument80 assert((max_addr & ADDR_MASK_48_TO_63) == 0U); in tcr_physical_addr_size_bits()83 if ((max_addr & ADDR_MASK_44_TO_47) != 0U) in tcr_physical_addr_size_bits()87 if ((max_addr & ADDR_MASK_42_TO_43) != 0U) in tcr_physical_addr_size_bits()91 if ((max_addr & ADDR_MASK_40_TO_41) != 0U) in tcr_physical_addr_size_bits()95 if ((max_addr & ADDR_MASK_36_TO_39) != 0U) in tcr_physical_addr_size_bits()99 if ((max_addr & ADDR_MASK_32_TO_35) != 0U) in tcr_physical_addr_size_bits()
21 unsigned long long tcr_physical_addr_size_bits(unsigned long long max_addr);