allegro_destroy_channel 2042 drivers/staging/media/allegro-dvt/allegro-core.c 	allegro_destroy_channel(channel);
allegro_destroy_channel 2179 drivers/staging/media/allegro-dvt/allegro-core.c 		allegro_destroy_channel(channel);