Searched defs:end_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 arch_simple_get_IOPort_cap(UNUSED arch_simple_t *simple, UNUSED uint16_t start_port, UNUSED uint16_t end_port, UNUSED seL4_Word root, UNUSED seL4_Word dest, UNUSED seL4_Word depth) 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 | 37 uint32_t end_port = start_port + size - 1; local
|
/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 55 milliseconds