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