Searched refs:atkbdc (Results 1 - 9 of 9) sorted by relevance

/freebsd-12-stable/sys/dev/atkbdc/
H A Datkbdc_subr.c45 #include <dev/atkbdc/atkbdc_subr.h>
46 #include <dev/atkbdc/atkbdcreg.h>
H A Datkbdc_ebus.c53 #include <dev/atkbdc/atkbdreg.h>
54 #include <dev/atkbdc/atkbdc_subr.h>
55 #include <dev/atkbdc/atkbdcreg.h>
56 #include <dev/atkbdc/psm.h>
90 DRIVER_MODULE(atkbdc, ebus, atkbdc_ebus_driver, atkbdc_devclass, 0, 0);
131 * one for the status port resource as the atkbdc(4) back-end
193 * See atkbdc.c. XXX
H A Datkbd_atkbdc.c47 #include <dev/atkbdc/atkbdreg.h>
48 #include <dev/atkbdc/atkbdcreg.h>
174 DRIVER_MODULE(atkbd, atkbdc, atkbd_driver, atkbd_devclass, 0, 0);
H A Datkbdc_isa.c44 #include <dev/atkbdc/atkbdc_subr.h>
45 #include <dev/atkbdc/atkbdcreg.h>
205 * See atkbdc.c. XXX
323 DRIVER_MODULE(atkbdc, isa, atkbdc_isa_driver, atkbdc_devclass, 0, 0);
324 DRIVER_MODULE(atkbdc, acpi, atkbdc_isa_driver, atkbdc_devclass, 0, 0);
H A Dpsm.c99 #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) argument
7514 psm = device_find_child(atkbdc, PSM_DRIVER_NAME,
7515 device_get_unit(atkbdc));
7577 device_t atkbdc; local
7580 atkbdc = devclass_get_device(devclass_find(ATKBDC_DRIVER_NAME),
7582 if ((atkbdc != NULL) && (device_get_state(atkbdc)
[all...]
H A Datkbd.c51 #include <dev/atkbdc/atkbdreg.h>
52 #include <dev/atkbdc/atkbdcreg.h>
H A Datkbdc.c53 #include <dev/atkbdc/atkbdcreg.h>
252 resource_int_value("atkbdc", 0, "port", &port0);
/freebsd-12-stable/usr.sbin/bhyve/
H A DMakefile17 atkbdc.c \
/freebsd-12-stable/share/man/man4/
H A DMakefile67 atkbdc.4 \

Completed in 192 milliseconds