lib/xlat_tables_v2/xlat_tables_core.c
/* Returns 0 if the specified table isn't empty, otherwise 1. */
Returns 0 if the specified table isn't empty, otherwise 1.
Returns 0 if the specified table isn ' t empty otherwise 1 .
static int 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)
		? 1 : 0;
}
static int 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 ) ? 1 : 0 ; }
Returns 0 if the specified table isn't empty, otherwise 1.
Returns 0 if the specified table isn ' t empty otherwise 1 .