Searched refs:core_mmu_arm64_get_pa_width (Results 1 – 2 of 2) sorted by relevance
165 unsigned int core_mmu_arm64_get_pa_width(void);171 return pa <= (BIT64(core_mmu_arm64_get_pa_width()) - 1); in core_mmu_check_max_pa()
1178 unsigned int core_mmu_arm64_get_pa_width(void) in core_mmu_arm64_get_pa_width() function