void ca_midi_free(ca_midi_t *midi) { 
static void ca_midi_free(ca_midi_t *midi) { 
void ca_midi_free(ca_midi_t *midi) {	midi->interrupt = NULL;	midi->interrupt_enable = NULL;	midi->interrupt_disable = NULL;	midi->read = NULL;	midi->write = NULL;	midi->get_dev_id_card = NULL;	midi->get_dev_id_port = NULL;	midi->rmidi = NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7cf4783b31607ad13b84bed14ea2ca446364985a/ca_midi.c/clean/sound/pci/ca0106/ca_midi.c