| /seL4-mcs-10.1.1/include/kernel/ |
| H A D | cspace.h | 56 word_t depth);
58 word_t depth);
60 word_t depth);
62 word_t depth);
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | circular_includes.py | 51 depth = int(match.group(1))
54 if depth == 1:
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | cspace.c | 74 word_t depth)
89 if (unlikely(depth < 1 || depth > wordBits)) {
96 res_ret = resolveAddressBits(root, capptr, depth);
120 lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) argument
122 return lookupSlotForCNodeOp(true, root, capptr, depth);
126 lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) argument
128 return lookupSlotForCNodeOp(false, root, capptr, depth);
132 lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) argument
134 return lookupSlotForCNodeOp(true, root, capptr, depth);
73 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, word_t depth) argument
[all...] |
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | interrupt.c | 46 word_t depth = getSyscallArg(3, buffer); local
61 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | interrupt.c | 79 word_t index, depth; local
108 depth = getSyscallArg(1, buffer);
128 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
| H A D | ioport.c | 126 word_t index, depth; local
147 depth = getSyscallArg(3, buffer);
164 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | interrupt.c | 33 word_t index, depth, irq_w; local
47 depth = getSyscallArg(2, buffer);
62 lu_ret = lookupTargetSlot(cnodeCap, index, depth);
|
| /seL4-mcs-10.1.1/include/arch/x86/arch/api/ |
| H A D | bootinfo_types.h | 92 seL4_Uint8 depth; member in struct:seL4_VBEInfo30
|
| /seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/ |
| H A D | bootinfo_types.h | 92 seL4_Uint8 depth; member in struct:seL4_VBEInfo30
|
| /seL4-mcs-10.1.1/manual/parts/ |
| H A D | cspace.tex | 225 additional layer of depth though \emph{badging}.
393 translated, called the \emph{depth limit}.
442 the depth limit, which is the maximum number of bits to be
445 with a depth limit of 12 bits.
450 0x00F00000 with a depth limit of 24 bits. Note that the addresses of
451 the L2 and L3 CNode Caps are the same, but that their depth limits
457 user must also supply a depth limit. To specify a range of capability
|
| H A D | threads.tex | 614 the underlying hardware primitives and operations. As a result an in depth familiarity with
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 1007 word_t depth; local
1029 depth = getSyscallArg(1, buffer);
1062 lu_ret = lookupTargetSlot(root, index, depth);
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | vspace.c | 1405 word_t depth; local
1427 depth = getSyscallArg(1, buffer);
1461 lu_ret = lookupTargetSlot(root, index, depth);
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2840 word_t index, depth; local
2863 depth = getSyscallArg(1, buffer);
2898 lu_ret = lookupTargetSlot(root, index, depth);
|
| /seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2415 word_t index, depth; local
2437 depth = getSyscallArg(1, buffer);
2469 lu_ret = lookupTargetSlot(root, index, depth);
|