/* Decrements region count for a given table. */ static void xlat_table_dec_regions_count(const xlat_ctx_t *ctx, const uint64_t *table) { int idx = xlat_table_get_index(ctx, table); ctx->tables_mapped_regions[idx]--; }
/* Returns 0 if the speficied table isn't empty, otherwise 1. */ static int xlat_table_is_empty(xlat_ctx_t *ctx, const uint64_t *table) { return !ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)]; }
/* Decrements region count for a given table. */ static void xlat_table_dec_regions_count(xlat_ctx_t *ctx, const uint64_t *table) { ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)]--; }
/* Returns 0 if the specified table isn't empty, otherwise 1. */ static bool xlat_table_is_empty(const xlat_ctx_t *ctx, const uint64_t *table) { return ctx->tables_mapped_regions[xlat_table_get_index(ctx, table)] == 0; }