Searched defs:xlat_arch_get_max_supported_pa (Results 1 – 4 of 4) sorted by relevance
60 unsigned long long xlat_arch_get_max_supported_pa(void) in xlat_arch_get_max_supported_pa() function
121 unsigned long long xlat_arch_get_max_supported_pa(void) in xlat_arch_get_max_supported_pa() function
115 unsigned long long xlat_arch_get_max_supported_pa(void) in xlat_arch_get_max_supported_pa() function