Searched refs:IOSIZE_16 (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | io.h | 22 #define IOSIZE_16 2 macro
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4HardwareIOPort.template.c | 93 int ret = ps_io_port_in(&ops, /*? port_range[0] ?*/ + offset, IOSIZE_16, &result); 136 ps_io_port_out(&ops, /*? port_range[0] ?*/ + offset, IOSIZE_16, value);
|
/seL4-camkes-master/projects/global-components/components/PCIConfigIO/src/ |
H A D | pci.c | 53 int error = ps_io_port_in(&io_ops, port, IOSIZE_16, &result); 87 ps_io_port_out(&io_ops, port, IOSIZE_16, val);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
H A D | io.c | 145 case IOSIZE_16: 164 case IOSIZE_16:
|
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/ |
H A D | vesadriver.c | 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);
|
Completed in 60 milliseconds