Searched refs:xlat_arch_get_max_supported_pa (Results 1 – 4 of 4) sorted by relevance
97 unsigned long long xlat_arch_get_max_supported_pa(void);
1251 assert(ctx->pa_max_address <= xlat_arch_get_max_supported_pa()); in init_xlat_tables_ctx()
60 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