smi_dvb_exit      924 drivers/media/pci/smipcie/smipcie-main.c 	smi_dvb_exit(port);
smi_dvb_exit      933 drivers/media/pci/smipcie/smipcie-main.c 	smi_dvb_exit(port);