Searched defs:depth (Results 1 – 12 of 12) sorted by relevance
| /seL4-master/src/kernel/ |
| A D | cspace.c | 66 word_t depth) in lookupSlotForCNodeOp()
111 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) in lookupSourceSlot()
116 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) in lookupTargetSlot()
121 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) in lookupPivotSlot()
|
| /seL4-master/src/arch/arm/object/ |
| A D | interrupt.c | 40 word_t depth = getSyscallArg(3, buffer); in Arch_decodeIRQControlInvocation() local
85 word_t depth = getSyscallArg(3, buffer) & 0xfful; in Arch_decodeIRQControlInvocation() local
|
| A D | smmu.c | 25 word_t index, depth, sid; in decodeARMSIDControlInvocation() local
186 word_t index, depth, cb; in decodeARMCBControlInvocation() local
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 52 word_t depth = getSyscallArg(3, buffer); in Arch_decodeIRQControlInvocation() local
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 71 word_t index, depth; in Arch_decodeIRQControlInvocation() local
|
| A D | ioport.c | 114 word_t index, depth; in decodeX86PortControlInvocation() local
|
| /seL4-master/src/object/ |
| A D | interrupt.c | 27 word_t index, depth, irq_w; in decodeIRQControlInvocation() local
|
| /seL4-master/libsel4/arch_include/x86/sel4/arch/ |
| A D | bootinfo_types.h | 85 seL4_Uint8 depth; member
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 1266 word_t depth; in decodeX86MMUInvocation() local
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 941 word_t depth; in decodeRISCVMMUInvocation() local
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2515 word_t index, depth; local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2292 word_t index, depth; in decodeARMMMUInvocation() local
|
Completed in 25 milliseconds