void table_destroy(struct dm_table *t) 
static void table_destroy(struct dm_table *t) 
void table_destroy(struct dm_table *t){	unsigned int i;	/* free the indexes (see dm_table_complete) */	if (t->depth >= 2)		vfree(t->index[t->depth - 2]);	/* free the targets */	for (i = 0; i < t->num_targets; i++) {		struct dm_target *tgt = t->targets + i;		if (tgt->type->dtr)			tgt->type->dtr(tgt);		dm_put_target_type(tgt->type);	}	vfree(t->highs);	/* free the device list */	if (t->devices.next != &t->devices) {		DMWARN("devices still present during destroy: "		       "dm_table_remove_device calls missing");		free_devices(&t->devices);	}	kfree(t);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5e198d94dd0c3ec7f6138229e2e412c2c6268c38/dm-table.c/clean/drivers/md/dm-table.c