Searched refs:xlat_table_dec_regions_count (Results 1 – 1 of 1) sorted by relevance
80 static void xlat_table_dec_regions_count(const xlat_ctx_t *ctx, in xlat_table_dec_regions_count() function427 xlat_table_dec_regions_count(ctx, table_base); in xlat_tables_unmap_region()