Searched refs:lookupSlot_ret_t (Results 1 – 14 of 14) sorted by relevance
| /seL4-master/include/kernel/ |
| A D | cspace.h | 37 typedef struct lookupSlot_ret lookupSlot_ret_t; typedef
49 lookupSlot_ret_t lookupSlotForCNodeOp(bool_t isSource,
52 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr,
54 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr,
56 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr,
|
| /seL4-master/src/kernel/ |
| A D | cspace.c | 65 lookupSlot_ret_t lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, in lookupSlotForCNodeOp()
69 lookupSlot_ret_t ret; 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 | 62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
|
| A D | smmu.c | 28 lookupSlot_ret_t lu_ret; in decodeARMSIDControlInvocation()
189 lookupSlot_ret_t lu_ret; in decodeARMCBControlInvocation()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 67 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 74 lookupSlot_ret_t lu_ret; in Arch_decodeIRQControlInvocation()
|
| A D | ioport.c | 117 lookupSlot_ret_t lu_ret; in decodeX86PortControlInvocation()
|
| /seL4-master/src/object/ |
| A D | interrupt.c | 31 lookupSlot_ret_t lu_ret; in decodeIRQControlInvocation()
|
| A D | untyped.c | 34 lookupSlot_ret_t lu_ret; in decodeUntypedInvocation()
|
| A D | cnode.c | 45 lookupSlot_ret_t lu_ret; in decodeCNodeInvocation()
894 lookupSlot_ret_t lus_ret; in getReceiveSlots()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 946 lookupSlot_ret_t lu_ret; in decodeRISCVMMUInvocation()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 1271 lookupSlot_ret_t lu_ret; in decodeX86MMUInvocation()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2295 lookupSlot_ret_t lu_ret; in decodeARMMMUInvocation()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2518 lookupSlot_ret_t lu_ret;
|
Completed in 42 milliseconds