Searched refs:xlat_table_inc_regions_count (Results 1 – 1 of 1) sorted by relevance
86 static void xlat_table_inc_regions_count(xlat_ctx_t *ctx, const uint64_t *table) in xlat_table_inc_regions_count() function549 xlat_table_inc_regions_count(ctx, table_base); in xlat_tables_map_region()