Searched refs:xlat_table_get_index (Results 1 – 1 of 1) sorted by relevance
60 static int xlat_table_get_index(xlat_ctx_t *ctx, const uint64_t *table) in xlat_table_get_index() function88 ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)]++; in xlat_table_inc_regions_count()94 ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)]--; in xlat_table_dec_regions_count()100 return !ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)]; in xlat_table_is_empty()