lib/xlat_tables_v2/xlat_tables_core.c
/*
 * Returns the index of the array corresponding to the specified translation
 * table.
 */
Returns the index of the array corresponding to the specified translation
table.
Returns the index of the array corresponding to the specified translation table .
static int xlat_table_get_index(const xlat_ctx_t *ctx, const uint64_t *table)
{
	for (int i = 0; i < ctx->tables_num; i++)
		if (ctx->tables[i] == table)
			return i;
	assert(0);
	return -1;
}
static int xlat_table_get_index ( const xlat_ctx_t * ctx , const uint64_t * table ) { for ( int i = 0 ; i < ctx -> tables_num ; i ++ ) if ( ctx -> tables [ i ] == table ) return i ; assert ( 0 ) ; return -1 ; }
Returns the index of the array corresponding to the specified translation
 table.
Returns the index of the array corresponding to the specified translation table .
/*
	 * Maybe we were asked to get the index of the base level table, which
	 * should never happen.
	 */