atkbdc_print_child
DEVMETHOD(bus_print_child, atkbdc_print_child),
int atkbdc_print_child(device_t bus, device_t dev);