 /* 0 */ { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /* ATSC+ IR     */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /* ATSC         */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /*     +        */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /* ATSC+        */  { USB_DEVICE(USB_VID_HAUPPAUGE, 0xc000) }, /* 