Searched refs:xlat_arch_get_max_supported_pa (Results 1 – 4 of 4) sorted by relevance
82 unsigned long long xlat_arch_get_max_supported_pa(void);
1264 assert(ctx->pa_max_address <= xlat_arch_get_max_supported_pa()); in init_xlat_tables_ctx()
18 unsigned long long xlat_arch_get_max_supported_pa(void) in xlat_arch_get_max_supported_pa() function
55 unsigned long long xlat_arch_get_max_supported_pa(void) in xlat_arch_get_max_supported_pa() function