Searched refs:tcr_physical_addr_size_bits (Results 1 – 2 of 2) sorted by relevance
21 unsigned long long tcr_physical_addr_size_bits(unsigned long long max_addr);
77 unsigned long long tcr_physical_addr_size_bits(unsigned long long max_addr) in tcr_physical_addr_size_bits() function292 unsigned long long tcr_ps_bits = tcr_physical_addr_size_bits(max_pa); in setup_mmu_cfg()