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