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