Searched refs:xlat_table_get_index (Results 1 – 1 of 1) sorted by relevance
45 static int xlat_table_get_index(const xlat_ctx_t *ctx, const uint64_t *table) in xlat_table_get_index() function74 int idx = xlat_table_get_index(ctx, table); in xlat_table_inc_regions_count()83 int idx = xlat_table_get_index(ctx, table); in xlat_table_dec_regions_count()91 return ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)] == 0; in xlat_table_is_empty()