Searched refs:depth (Results 1 - 25 of 35) sorted by relevance

12

/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/
H A Ddefault.c26 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 Ddefault.c24 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 Dcspace.h51 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 Ddefault.c25 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 Dfdt.c242 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 Dfdt_wip.c120 int depth = 0; local
122 while ((offset >= 0) && (depth >= 0))
123 offset = fdt_next_node(fdt, offset, &depth);
H A Dfdt_ro.c238 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 Dfdtget.c180 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 Dcircular_includes.py47 depth = int(match.group(1))
50 if depth == 1:
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/
H A Darch.c25 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 Dcspace.c66 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 Dsimple.h39 * @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 Dsimple.h36 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 Dencode_cyclic_callback.c17 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 Dclock.c120 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 Dinterrupt.c41 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 Dsmmu.c26 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 Diopt.c31 /* 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 Dpreempt.c24 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 Dinterrupt.c53 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 Dfdt.c512 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 Dinterrupt.c72 word_t index, depth; local
101 depth = getSyscallArg(1, buffer);
121 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
H A Dioport.c115 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 Dinterrupt.c28 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 Ddevice.py24 self.depth = 0
35 self.depth = parent.depth + 1

Completed in 82 milliseconds

12