err_del_dvb_dmxdev 872 drivers/media/pci/smipcie/smipcie-main.c goto err_del_dvb_dmxdev; err_del_dvb_dmxdev 874 drivers/media/pci/smipcie/smipcie-main.c err_del_dvb_dmxdev: