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

12

/seL4-camkes-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-camkes-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-camkes-master/kernel/include/kernel/
H A Dcspace.h51 word_t depth);
53 word_t depth);
55 word_t depth);
57 word_t depth);
/seL4-camkes-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-camkes-master/projects/camkes/apps/fdtgen/
H A Dfdt_utils.c95 int depth, sz, shift; local
99 depth = 0;
145 printf("%*s%s {\n", depth * shift, "", s);
147 depth++;
152 depth--;
154 printf("%*s};\n", depth * shift, "");
159 printf("%*s// [NOP]\n", depth * shift, "");
164 fprintf(stderr, "%*s ** Unknown tag 0x%08x\n", depth * shift, "", tag);
176 printf("%*s%s", depth * shift, "", s);
/seL4-camkes-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...]
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/
H A Darch.c24 get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
28 return seL4_CNode_Copy(root, dest, depth, simple_get_cnode(&env.simple), init->io_port, CONFIG_WORD_SIZE, seL4_AllRights);
/seL4-camkes-master/kernel/tools/
H A Dcircular_includes.py47 depth = int(match.group(1))
50 if depth == 1:
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/
H A Ddump.c49 static int dump_indent(size_t flags, int depth, int space, json_dump_callback_t dump, void *data) argument
58 for(i = 0; i < depth; i++)
191 static int do_dump(const json_t *json, size_t flags, int depth, argument
250 if(dump_indent(flags, depth + 1, 0, dump, data))
254 if(do_dump(json_array_get(json, i), flags, depth + 1,
261 dump_indent(flags, depth + 1, 1, dump, data))
266 if(dump_indent(flags, depth, 0, dump, data))
309 if(dump_indent(flags, depth + 1, 0, dump, data))
351 do_dump(value, flags, depth + 1, dump, data))
360 dump_indent(flags, depth
[all...]
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/
H A Dspeed_test_nested_array.cpp45 int const depth = 4; local
47 vecvec<int, depth>::type v1;
48 vecvec<int, depth>::fill(v1, 3, 42);
72 vecvec<int, depth>::type v2;
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage8.py60 def sub_resolve(setting, depth):
63 is a reference to another setting we try and resolve the next one (depth first). If there
72 if setting.value.reference in depth:
74 for value in depth:
106 if not sub_resolve(referents[0], depth + [setting.value.reference]):
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/
H A Dfbfront.h36 struct fbfront_dev *init_fbfront(char *nodename, unsigned long *mfns, int width, int height, int depth, int stride, int n);
41 void fbfront_resize(struct fbfront_dev *dev, int width, int height, int stride, int depth, int offset);
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c313 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
331 return seL4_CNode_Copy(root, dest, depth, /*? self_cnode ?*/, cap, CONFIG_WORD_SIZE, seL4_AllRights);
395 static seL4_Error simple_camkes_get_irq(void *data, int irq, seL4_CNode cnode, seL4_Word index, uint8_t depth) { argument
400 return seL4_CNode_Copy(cnode, index, depth, /*? self_cnode ?*/, /*? cap ?*/, CONFIG_WORD_SIZE, seL4_AllRights);
/seL4-camkes-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-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dmultiboot.h92 multiboot_uint32_t depth; member in struct:multiboot_header
/seL4-camkes-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);

Completed in 221 milliseconds

12