Searched refs:kbdcdev (Results 1 – 1 of 1) sorted by relevance
51 atkbdc_device_t *kbdcdev; in atkbdc_print_child() local56 kbdcdev = (atkbdc_device_t *)device_get_ivars(dev); in atkbdc_print_child()62 irq = bus_get_resource_start(dev, SYS_RES_IRQ, kbdcdev->rid); in atkbdc_print_child()