Searched defs:start_port (Results 1 - 7 of 7) sorted by relevance
| /seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
| H A D | arch.c | 24 get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 76 simple_default_get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) { argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 53 static inline seL4_Error arch_simple_get_IOPort_cap(UNUSED arch_simple_t *simple, UNUSED uint16_t start_port, argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 101 arch_simple_get_IOPort_cap(arch_simple_t *arch_simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | ioport.c | 33 static exception_t ensurePortOperationAllowed(cap_t cap, uint32_t start_port, uint32_t size) argument
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.simple.c | 313 static seL4_Error simple_camkes_get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) { argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/ |
| H A D | simple.h | 333 seL4_Error simple_get_IOPort_cap(simple_t *simple, uint16_t start_port, uint16_t end_port, seL4_Word root, argument
|
Completed in 66 milliseconds