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);