SMI_ID           1101 drivers/media/pci/smipcie/smipcie-main.c 	SMI_ID(0x4254, 0x0550, dvbsky_s950_cfg),
SMI_ID           1102 drivers/media/pci/smipcie/smipcie-main.c 	SMI_ID(0x4254, 0x0552, dvbsky_s952_cfg),
SMI_ID           1103 drivers/media/pci/smipcie/smipcie-main.c 	SMI_ID(0x4254, 0x5580, dvbsky_t9580_cfg),
SMI_ID           1104 drivers/media/pci/smipcie/smipcie-main.c 	SMI_ID(0x13c2, 0x3016, technotrend_s2_4200_cfg),