| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/arm/ |
| H A D | io.c | 15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument
21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
| H A D | io.c | 15 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument
21 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t val) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
| H A D | io_port_ops.c | 28 sel4platsupport_io_port_in(void *cookie, uint32_t port, int io_size, uint32_t *result) argument
76 sel4platsupport_io_port_out(void *cookie, uint32_t port, int io_size, uint32_t val) argument
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
| H A D | io.c | 135 int camkes_arch_io_port_in(uint32_t port, int io_size, uint32_t *result) argument
154 int camkes_arch_io_port_out(uint32_t port, int io_size, uint32_t value) argument
|
| /seL4-camkes-master/tools/rumprun/platform/hw/pci/ |
| H A D | rumppci.c | 48 rumpcomp_pci_port_out(uint32_t port, int io_size, uint32_t val) { argument
83 rumpcomp_pci_port_in(uint32_t port, int io_size, uint32_t *result) { argument
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
| H A D | rumppci.c | 50 int rumpcomp_pci_port_out(uint32_t port, int io_size, uint32_t val) argument
60 int rumpcomp_pci_port_in(uint32_t port, int io_size, uint32_t *result) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | io.c | 230 static int camkes_io_port_in(void *cookie UNUSED, uint32_t port, int io_size, uint32_t *result) argument
235 static int camkes_io_port_out(void *cookie UNUSED, uint32_t port, int io_size, uint32_t val) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | io.h | 138 ps_io_port_in( const ps_io_port_ops_t *port_ops, uint32_t port, int io_size, uint32_t *result) argument
149 ps_io_port_out( const ps_io_port_ops_t *port_ops, uint32_t port, int io_size, uint32_t val) argument
|
| /seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
| H A D | fsm_wrapper_pp_inferred.c | 133 u32 io_size; member in struct:t9
|