Lines Matching defs:atkbdc
99 #include <dev/atkbdc/atkbdcreg.h>
100 #include <dev/atkbdc/psm.h>
7406 DRIVER_MODULE(psm, atkbdc, psm_driver, psm_devclass, 0, 0);
7508 create_a_copy(device_t atkbdc, device_t me)
7514 psm = device_find_child(atkbdc, PSM_DRIVER_NAME,
7515 device_get_unit(atkbdc));
7577 device_t atkbdc;
7580 atkbdc = devclass_get_device(devclass_find(ATKBDC_DRIVER_NAME),
7582 if ((atkbdc != NULL) && (device_get_state(atkbdc) == DS_ATTACHED))
7583 create_a_copy(atkbdc, dev);