/seL4-test-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 30 return seL4_IRQControl_GetIOAPIC(seL4_CapIRQControl, root, index, depth, ioapic, pin, level, 35 simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 60 return simple_default_get_ioapic(data, root, index, depth, 0, irq, level, low_polarity, vector); 62 return seL4_IRQControl_Get(seL4_CapIRQControl, irq, root, index, depth); 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 71 return seL4_IRQControl_GetMSI(seL4_CapIRQControl, root, index, depth, pci_bus, pci_dev, 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 77 return seL4_X86_IOPortControl_Issue(seL4_CapIOPortControl, start_port, end_port, root, dest, depth);
|
/seL4-test-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 25 return seL4_IRQControl_Get(seL4_CapIRQControl, irq, root, index, depth);
|
/seL4-test-master/kernel/include/kernel/ |
H A D | cspace.h | 51 word_t depth); 53 word_t depth); 55 word_t depth); 57 word_t depth);
|
/seL4-test-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 27 return seL4_IRQControl_Get(seL4_CapIRQControl, irq, root, index, depth); 31 seL4_Word index, uint8_t depth) 34 return seL4_IRQControl_GetTriggerCore(seL4_CapIRQControl, irq, trigger, root, index, depth, core); 36 return seL4_IRQControl_GetTrigger(seL4_CapIRQControl, irq, trigger, root, index, depth); 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-test-master/projects/util_libs/libfdt/ |
H A D | fdt.c | 242 int fdt_next_node(const void *fdt, int offset, int *depth) argument 261 if (depth) 262 (*depth)++; 266 if (depth && ((--(*depth)) < 0)) 272 || ((nextoffset == -FDT_ERR_TRUNCATED) && !depth)) 284 int depth = 0; local 286 offset = fdt_next_node(fdt, offset, &depth); 287 if (offset < 0 || depth != 1) 295 int depth local [all...] |
H A D | fdt_wip.c | 120 int depth = 0; local 122 while ((offset >= 0) && (depth >= 0)) 123 offset = fdt_next_node(fdt, offset, &depth);
|
H A D | fdt_ro.c | 238 int depth; local 242 for (depth = 0; 243 (offset >= 0) && (depth >= 0); 244 offset = fdt_next_node(fdt, offset, &depth)) 245 if ((depth == 1) 249 if (depth < 0) 548 int offset, depth, namelen; local 556 for (offset = 0, depth = 0; 558 offset = fdt_next_node(fdt, offset, &depth)) { 559 while (pdepth > depth) { 600 int offset, depth; local 867 unsigned depth = 0; local [all...] |
H A D | fdtget.c | 180 int depth = 1; /* the assumed depth of this node */ local 187 if (level <= depth) { 211 if (level <= depth)
|
/seL4-test-master/kernel/tools/ |
H A D | circular_includes.py | 47 depth = int(match.group(1)) 50 if depth == 1:
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/ |
H A D | arch.c | 25 seL4_Word depth) 42 int ret = sel4rpc_call(rpc_client, &rpcMsg, root, dest, depth); 50 static seL4_Error get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 57 static seL4_Error get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word ioapic, argument 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-test-master/kernel/src/kernel/ |
H A D | cspace.c | 66 word_t depth) 81 if (unlikely(depth < 1 || depth > wordBits)) { 88 res_ret = resolveAddressBits(root, capptr, depth); 111 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) argument 113 return lookupSlotForCNodeOp(true, root, capptr, depth); 116 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) argument 118 return lookupSlotForCNodeOp(false, root, capptr, depth); 121 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) argument 123 return lookupSlotForCNodeOp(true, root, capptr, depth); 65 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, word_t depth) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
H A D | simple.h | 39 * @param depth of index 41 typedef seL4_Error (*arch_simple_get_IOPort_cap_fn)(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth); 53 uint8_t depth, seL4_Word pci_bus, seL4_Word pci_dev, 58 uint8_t depth, seL4_Word ioapic, seL4_Word pin, 72 uint8_t depth); 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 113 return arch_simple->IOPort_cap(arch_simple->data, start_port, end_port, root, dest, depth);
|
/seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
H A D | simple.h | 36 seL4_Word index, uint8_t depth); 38 seL4_Word index, uint8_t depth); 55 UNUSED seL4_Word dest, UNUSED seL4_Word depth) 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-test-master/tools/nanopb/tests/cyclic_messages/ |
H A D | encode_cyclic_callback.c | 17 int depth = 0; local 19 if (*p == '[' || *p == '{') depth++; 20 if (*p == ']' || *p == '}') depth--; 22 } while (depth > 0 || (*p != ',' && *p != '}'));
|
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 120 int depth = strlen(prefix); local 121 char new_prefix[depth + 2]; 123 new_prefix[depth] = '|'; 124 new_prefix[depth + 1] = '\0'; 140 strcpy(new_prefix + depth, " ");
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | interrupt.c | 41 word_t depth = getSyscallArg(3, buffer); local 62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); 85 word_t depth = getSyscallArg(3, buffer) & 0xfful; local 107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
H A D | smmu.c | 26 word_t index, depth, sid; local 62 depth = getSyscallArg(2, buffer); 78 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 189 word_t index, depth, cb; local 213 depth = getSyscallArg(2, buffer); 229 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | iopt.c | 31 /* The depth at which we expect the last PT to be at before 4K frame 32 * mappings. This is 'expected' depth as the actual depth can change 37 int depth; member in struct:iopt_cptrs 50 pts->depth = 0; 56 test_assert(pts->depth < MAX_IOPT_DEPTH); 57 pts->pts[pts->depth] = vka_alloc_io_page_table_leaky(&env->vka); 58 test_assert(pts->pts[pts->depth]); 59 error = seL4_X86_IOPageTable_Map(pts->pts[pts->depth], iospace, IOPT_MAP_BASE); 61 pts->depth [all...] |
H A D | preempt.c | 24 static int revoke_func(seL4_CNode service, seL4_Word index, seL4_Word depth) argument 27 seL4_CNode_Revoke(service, index, depth);
|
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 53 word_t depth = getSyscallArg(3, buffer); local 68 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-test-master/tools/riscv-pk/machine/ |
H A D | fdt.c | 512 int depth; member in struct:compat_scan 519 ++scan->depth; 526 if (scan->depth < scan->kill) 527 scan->kill = scan->depth; 533 if (scan->kill == scan->depth--) { 553 scan.depth = 0; 700 int depth; member in struct:fdt_print_info 708 for (int i = 0; i < info->depth; ++i) 720 while (node->parent != NULL && info->stack[info->depth-1] != node->parent) { 721 info->depth [all...] |
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | interrupt.c | 72 word_t index, depth; local 101 depth = getSyscallArg(1, buffer); 121 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
H A D | ioport.c | 115 word_t index, depth; local 136 depth = getSyscallArg(3, buffer); 153 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-test-master/kernel/src/object/ |
H A D | interrupt.c | 28 word_t index, depth, irq_w; local 42 depth = getSyscallArg(2, buffer); 57 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
/seL4-test-master/kernel/tools/hardware/ |
H A D | device.py | 24 self.depth = 0 35 self.depth = parent.depth + 1
|