) }, /* ATSC+        */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /*     +        */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /* ATSC+        */ /*00 */ { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc00a) }, /*     + IR     */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc00b) }, /* ATSC+ IR     */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xb000) }, /* ATSC+DVBT 