| /seL4-master/src/object/ |
| A D | cnode.c | 75 cte_t *srcSlot; in decodeCNodeInvocation() local
104 srcSlot = lu_ret.slot; in decodeCNodeInvocation()
158 newCap = srcSlot->cap; in decodeCNodeInvocation()
235 cte_t *pivotSlot, *srcSlot; in decodeCNodeInvocation() local
257 srcSlot = lu_ret.slot; in decodeCNodeInvocation()
271 if (srcSlot != destSlot) { in decodeCNodeInvocation()
367 cte_t *srcSlot; in invokeCNodeSaveCaller() local
370 cap = srcSlot->cap; in invokeCNodeSaveCaller()
416 srcMDB = srcSlot->cteMDBNode; in cteInsert()
417 srcCap = srcSlot->cap; in cteInsert()
[all …]
|
| A D | untyped.c | 235 static exception_t resetUntypedCap(cte_t *srcSlot) in resetUntypedCap() argument
237 cap_t prev_cap = srcSlot->cap; in resetUntypedCap()
258 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, 0); in resetUntypedCap()
263 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset)); in resetUntypedCap()
273 exception_t invokeUntyped_Retype(cte_t *srcSlot, in invokeUntyped_Retype() argument
281 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(srcSlot->cap)); in invokeUntyped_Retype()
285 status = resetUntypedCap(srcSlot); in invokeUntyped_Retype()
298 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(srcSlot->cap, in invokeUntyped_Retype()
302 createNewObjects(newType, srcSlot, destCNode, destOffset, destLength, in invokeUntyped_Retype()
|
| A D | interrupt.c | 24 cte_t *srcSlot, word_t *buffer) in decodeIRQControlInvocation() argument
72 return invokeIRQControl(irq, destSlot, srcSlot); in decodeIRQControlInvocation()
74 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, buffer); in decodeIRQControlInvocation()
|
| A D | tcb.c | 1672 tcb_cnode_index_t index, cap_t newCap, cte_t *srcSlot) in installTCBCap() argument
1681 if (sameObjectAs(newCap, srcSlot->cap) && in installTCBCap()
1683 cteInsert(newCap, srcSlot, rootSlot); in installTCBCap()
|
| /seL4-master/include/arch/arm/arch/object/ |
| A D | smmu.h | 18 cte_t *srcSlot, cap_t cap,
22 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer);
25 cte_t *srcSlot, cap_t cap,
29 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer);
|
| A D | interrupt.h | 16 cte_t *srcSlot, word_t *buffer);
|
| /seL4-master/include/object/ |
| A D | cnode.h | 18 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
19 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
22 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
23 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
|
| A D | interrupt.h | 16 cte_t *srcSlot, word_t *buffer);
|
| A D | untyped.h | 33 exception_t invokeUntyped_Retype(cte_t *srcSlot, bool_t reset,
|
| /seL4-master/src/arch/arm/object/ |
| A D | interrupt.c | 22 cte_t *srcSlot, word_t *buffer) in Arch_decodeIRQControlInvocation() argument
79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); in Arch_decodeIRQControlInvocation()
131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); in Arch_decodeIRQControlInvocation()
|
| A D | smmu.c | 22 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMSIDControlInvocation() argument
92 cteInsert(cap_sid_cap_new(sid), srcSlot, destSlot); in decodeARMSIDControlInvocation()
97 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMSIDInvocation() argument
183 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMCBControlInvocation() argument
242 cteInsert(cap_cb_cap_new(SID_INVALID, cb), srcSlot, destSlot); in decodeARMCBControlInvocation()
247 cte_t *srcSlot, cap_t cap, bool_t call, word_t *buffer) in decodeARMCBInvocation() argument
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 34 cte_t *srcSlot, word_t *buffer) in Arch_decodeIRQControlInvocation() argument
84 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, word_t … in Arch_decodeIRQControlInvocation() argument
145 … return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot); in Arch_decodeIRQControlInvocation()
181 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState); in Arch_decodeIRQControlInvocation()
|
| /seL4-master/include/arch/x86/arch/object/ |
| A D | interrupt.h | 15 cte_t *srcSlot, word_t *buffer);
|
| /seL4-master/include/arch/riscv/arch/object/ |
| A D | interrupt.h | 21 cte_t *srcSlot, word_t *buffer);
|