unsigned int has_diff_ai:1;
        unsigned int has_ao:1;
        unsigned int has_di_do:1;
-       unsigned int has_counter:1;
 };
 
 static const struct boardtype boardtypes[] = {
                .has_diff_ai    = 1,
                .has_ao         = 1,
                .has_di_do      = 1,
-               .has_counter    = 1,
        },
        [BOARD_PCI1710HG] = {
                .name           = "pci1710hg",
                .has_diff_ai    = 1,
                .has_ao         = 1,
                .has_di_do      = 1,
-               .has_counter    = 1,
        },
        [BOARD_PCI1711] = {
                .name           = "pci1711",
                .rangecode_ai   = range_codes_pci17x1,
                .has_ao         = 1,
                .has_di_do      = 1,
-               .has_counter    = 1,
        },
        [BOARD_PCI1713] = {
                .name           = "pci1713",
                n_subdevices++;
        if (board->has_di_do)
                n_subdevices += 2;
-       if (board->has_counter)
+       if (!board->is_pci1713) /* all other boards have a user counter */
                n_subdevices++;
 
        ret = comedi_alloc_subdevices(dev, n_subdevices);
                subdev++;
        }
 
-       /* Counter subdevice (8254) */
-       if (board->has_counter) {
+       if (!board->is_pci1713) {
+               /* Counter subdevice (8254) */
                s = &dev->subdevices[subdev];
                comedi_8254_subdevice_init(s, dev->pacer);