Searched refs:io_port_ops (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Drtc.h32 * @param io_port_ops io port operations for accessing the CMOS RTC
37 int rtc_get_time_date_reg(ps_io_port_ops_t *io_port_ops, unsigned int century_reg, rtc_time_date_t *time_date);
51 * @param io_port_ops io port operations for accessing the CMOS RTC
56 static inline int rtc_get_time_date(ps_io_port_ops_t *io_port_ops, acpi_t *acpi, rtc_time_date_t *time_date) argument
58 return rtc_get_time_date_reg(io_port_ops, rtc_get_century_register(acpi), time_date);
H A Dpit.h59 * @param io_port_ops io port operations. This is all the pit requires.
62 int pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops);
/seL4-camkes-master/projects/camkes/apps/keyboard/components/Driver/src/
H A Ddriver.c25 static ps_io_port_ops_t io_port_ops; variable
30 int error = ps_io_port_in(&io_port_ops, port, IOSIZE_8, &result);
53 ps_io_port_out(&io_port_ops, KEYBOARD_STATUS_PORT, IOSIZE_8, KEYBOARD_ENABLE);
66 int error = camkes_io_port_ops(&io_port_ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c50 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res);
59 error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, RBR), 1, &res);
71 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res);
88 ps_io_port_out(&device->ioops.io_port_ops, CONSOLE(io_port, THR), 1, c);
122 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, LCR), 1, 0x00 & ~SERIAL_DLAB) != 0) {
127 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, IER), 1, 0x00) != 0) {
132 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, LCR), 1, 0x00 | SERIAL_DLAB) != 0) {
136 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, DLL), 1, 0x01) != 0) {
140 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, DLH), 1, 0x00) != 0) {
145 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOL
[all...]
H A Dpit.c131 int pit_init(pit_t *pit, ps_io_port_ops_t io_port_ops) argument
138 if (!io_port_ops.io_port_in_fn || !io_port_ops.io_port_out_fn) {
142 pit->ops = io_port_ops;
H A Drtc.c85 int rtc_get_time_date_reg(ps_io_port_ops_t *io_port_ops, unsigned int century_reg, rtc_time_date_t *time_date) argument
92 read_rtc(io_port_ops, century_reg, &raw_time);
93 read_rtc(io_port_ops, century_reg, &temp);
105 registerB = get_RTC_register(io_port_ops, 0x0B);
H A Dkeyboard_ps2.c24 ps_io_port_out(&ops->io_port_ops, PS2_IOPORT_CONTROL, 1, byte);
30 ps_io_port_out(&ops->io_port_ops, PS2_IOPORT_CONTROL, 1, byte1);
31 ps_io_port_out(&ops->io_port_ops, PS2_IOPORT_DATA, 1, byte2);
38 int error = ps_io_port_in(&ops->io_port_ops, PS2_IOPORT_CONTROL, 1, &res);
48 int error = ps_io_port_in(&ops->io_port_ops, PS2_IOPORT_DATA, 1, &res);
58 ps_io_port_out(&ops->io_port_ops, PS2_IOPORT_DATA, 1, byte);
H A Dltimer.c340 error = pit_init(&temp_pit, ops.io_port_ops);
412 return pit_init(&pc99_ltimer->pit.device, ops.io_port_ops);
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/KeyboardDriver/
H A Ddriver.c22 static ps_io_port_ops_t io_port_ops; variable
27 int error = ps_io_port_in(&io_port_ops, port, IOSIZE_8, &result);
36 ps_io_port_out(&io_port_ops, port, IOSIZE_8, value);
41 int error = camkes_io_port_ops(&io_port_ops);
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/
H A Dvesadriver.c20 static ps_io_port_ops_t io_port_ops; variable
173 ps_io_port_out(&io_port_ops, port, IOSIZE_16, value);
179 int error = ps_io_port_in(&io_port_ops, port, IOSIZE_16, &result);
189 int error = camkes_io_port_ops(&io_port_ops);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c220 sel4platsupport_get_io_port_ops(&io_ops.io_port_ops, simple, vka);
251 sel4platsupport_get_io_port_ops(&io_ops.io_port_ops, simple, vka);
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c55 return ps_io_port_out(&env.io_ops.io_port_ops, port, io_size, val);
66 return ps_io_port_in(&env.io_ops.io_port_ops, port, io_size, result);
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/pc99/
H A Dehci-pci.c72 libpci_scan(io_ops->io_port_ops);
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/
H A Dio_port_ops.c139 return sel4platsupport_get_io_port_ops(&ops->io_port_ops, simple, vka);
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dio.h498 ps_io_port_ops_t io_port_ops; member in struct:ps_io_ops
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dio.c504 camkes_io_port_ops(&ops->io_port_ops) ||
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c296 res = sel4platsupport_get_io_port_ops(&env.io_ops.io_port_ops, &env.simple, &env.vka);
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dvirtio_pci.c371 dev->ioops = io_ops.io_port_ops;

Completed in 98 milliseconds