/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | rtc.h | 32 * @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 D | pit.h | 59 * @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 D | driver.c | 25 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 D | serial.c | 50 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 D | pit.c | 131 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 D | rtc.c | 85 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 D | keyboard_ps2.c | 24 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 D | ltimer.c | 340 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 D | driver.c | 22 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 D | vesadriver.c | 20 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 D | common.c | 220 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 D | rumppci.c | 55 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 D | ehci-pci.c | 72 libpci_scan(io_ops->io_port_ops);
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 139 return sel4platsupport_get_io_port_ops(&ops->io_port_ops, simple, vka);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | io.h | 498 ps_io_port_ops_t io_port_ops; member in struct:ps_io_ops
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | io.c | 504 camkes_io_port_ops(&ops->io_port_ops) ||
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | entry.c | 296 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 D | virtio_pci.c | 371 dev->ioops = io_ops.io_port_ops;
|