/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes/apps/fdtgen/ |
H A D | fdt_utils.c | 95 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 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...] |
/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 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 D | circular_includes.py | 47 depth = int(match.group(1)) 50 if depth == 1:
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | dump.c | 49 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 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-camkes-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-camkes-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-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | speed_test_nested_array.cpp | 45 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 D | stage8.py | 60 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 D | fbfront.h | 36 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 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-camkes-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-camkes-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-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 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 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-camkes-master/tools/rumprun/platform/hw/include/hw/ |
H A D | multiboot.h | 92 multiboot_uint32_t depth; member in struct:multiboot_header
|
/seL4-camkes-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);
|