/seL4-refos-master/libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/riscv/ |
H A D | default.c | 24 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument
|
/seL4-refos-master/projects/util_libs/libfdt/ |
H A D | fdt_wip.c | 120 int depth = 0; local
|
H A D | fdt.c | 242 int fdt_next_node(const void *fdt, int offset, int *depth) argument 284 int depth = 0; local 295 int depth local [all...] |
H A D | fdtget.c | 180 int depth = 1; /* the assumed depth of this node */ local
|
H A D | fdt_ro.c | 238 int depth; local 548 int offset, depth, namelen; local 600 int offset, depth; local 867 unsigned depth = 0; local [all...] |
/seL4-refos-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 41 word_t depth = getSyscallArg(3, buffer); local 85 word_t depth = getSyscallArg(3, buffer) & 0xfful; local
|
H A D | smmu.c | 26 word_t index, depth, sid; local 189 word_t index, depth, cb; local
|
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 53 word_t depth = getSyscallArg(3, buffer); local
|
/seL4-refos-master/libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) argument 30 simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, seL4_Word index, uint8_t depth) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
H A D | default.c | 25 seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) argument 30 simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, seL4_Word index, uint8_t depth) argument
|
/seL4-refos-master/libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 35 simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 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-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 35 simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 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-refos-master/kernel/src/kernel/ |
H A D | cspace.c | 111 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) argument 116 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) argument 121 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) argument 65 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, word_t depth) argument [all...] |
/seL4-refos-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-refos-master/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-refos-master/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-refos-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-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 120 int depth = strlen(prefix); local
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 120 int depth = strlen(prefix); local
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 72 word_t index, depth; local
|
H A D | ioport.c | 115 word_t index, depth; local
|
/seL4-refos-master/kernel/src/object/ |
H A D | interrupt.c | 28 word_t index, depth, irq_w; local
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 115 rpc_setup_recv_cspace(seL4_CPtr cspace, seL4_CPtr recv_cslot, seL4_Word depth) argument
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 115 rpc_setup_recv_cspace(seL4_CPtr cspace, seL4_CPtr recv_cslot, seL4_Word depth) argument
|