| /seL4-master/src/object/ |
| A D | cnode.c | 46 cte_t *destSlot; in decodeCNodeInvocation() local
72 destSlot = lu_ret.slot; in decodeCNodeInvocation()
221 destCap = destSlot->cap; in decodeCNodeInvocation()
271 if (srcSlot != destSlot) { in decodeCNodeInvocation()
317 return cteRevoke(destSlot); in invokeCNodeRevoke()
435 destSlot->cap = newCap; in cteInsert()
441 CTE_REF(destSlot)); in cteInsert()
457 destSlot->cap = newCap; in cteMove()
459 destSlot->cteMDBNode = mdb; in cteMove()
466 CTE_REF(destSlot)); in cteMove()
[all …]
|
| A D | interrupt.c | 29 cte_t *destSlot; in decodeIRQControlInvocation() local
62 destSlot = lu_ret.slot; in decodeIRQControlInvocation()
64 status = ensureEmptySlot(destSlot); in decodeIRQControlInvocation()
72 return invokeIRQControl(irq, destSlot, srcSlot); in decodeIRQControlInvocation()
|
| /seL4-master/include/object/ |
| A D | cnode.h | 15 exception_t invokeCNodeRevoke(cte_t *destSlot);
16 exception_t invokeCNodeDelete(cte_t *destSlot);
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);
39 exception_t invokeCNodeSaveCaller(cte_t *destSlot);
|
| /seL4-master/src/arch/arm/object/ |
| A D | interrupt.c | 69 cte_t *destSlot = lu_ret.slot; in Arch_decodeIRQControlInvocation() local
71 status = ensureEmptySlot(destSlot); in Arch_decodeIRQControlInvocation()
79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); in Arch_decodeIRQControlInvocation()
114 cte_t *destSlot = lu_ret.slot; in Arch_decodeIRQControlInvocation() local
116 status = ensureEmptySlot(destSlot); in Arch_decodeIRQControlInvocation()
131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); in Arch_decodeIRQControlInvocation()
|
| A D | smmu.c | 26 cte_t *destSlot; in decodeARMSIDControlInvocation() local
83 destSlot = lu_ret.slot; in decodeARMSIDControlInvocation()
84 status = ensureEmptySlot(destSlot); in decodeARMSIDControlInvocation()
92 cteInsert(cap_sid_cap_new(sid), srcSlot, destSlot); in decodeARMSIDControlInvocation()
187 cte_t *destSlot; in decodeARMCBControlInvocation() local
232 destSlot = lu_ret.slot; in decodeARMCBControlInvocation()
233 status = ensureEmptySlot(destSlot); in decodeARMCBControlInvocation()
242 cteInsert(cap_cb_cap_new(SID_INVALID, cb), srcSlot, destSlot); in decodeARMCBControlInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | interrupt.c | 72 cte_t *destSlot; in Arch_decodeIRQControlInvocation() local
125 destSlot = lu_ret.slot; in Arch_decodeIRQControlInvocation()
127 status = ensureEmptySlot(destSlot); in Arch_decodeIRQControlInvocation()
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()
|
| A D | ioport.c | 116 cte_t *destSlot; in decodeX86PortControlInvocation() local
157 destSlot = lu_ret.slot; in decodeX86PortControlInvocation()
159 status = ensureEmptySlot(destSlot); in decodeX86PortControlInvocation()
166 return invokeX86PortControl(first_port, last_port, destSlot, slot); in decodeX86PortControlInvocation()
|
| /seL4-master/src/arch/riscv/object/ |
| A D | interrupt.c | 74 cte_t *destSlot = lu_ret.slot; in Arch_decodeIRQControlInvocation() local
76 status = ensureEmptySlot(destSlot); in Arch_decodeIRQControlInvocation()
84 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); in Arch_decodeIRQControlInvocation()
|
| /seL4-master/src/kernel/ |
| A D | thread.c | 246 cte_t *destSlot; in transferCaps() local
255 destSlot = getReceiveSlots(receiver, receiveBuffer); in transferCaps()
274 if (!destSlot) { in transferCaps()
287 cteInsert(dc_ret.cap, slot, destSlot); in transferCaps()
289 destSlot = NULL; in transferCaps()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 945 cte_t *destSlot; in decodeRISCVMMUInvocation() local
1000 destSlot = lu_ret.slot; in decodeRISCVMMUInvocation()
1002 status = ensureEmptySlot(destSlot); in decodeRISCVMMUInvocation()
1008 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base); in decodeRISCVMMUInvocation()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 1270 cte_t *destSlot; in decodeX86MMUInvocation() local
1326 destSlot = lu_ret.slot; in decodeX86MMUInvocation()
1328 status = ensureEmptySlot(destSlot); in decodeX86MMUInvocation()
1334 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base); in decodeX86MMUInvocation()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2294 cte_t *parentSlot, *destSlot; in decodeARMMMUInvocation() local
2350 destSlot = lu_ret.slot; in decodeARMMMUInvocation()
2352 status = ensureEmptySlot(destSlot); in decodeARMMMUInvocation()
2358 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base); in decodeARMMMUInvocation()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2517 cte_t *parentSlot, *destSlot; local
2578 destSlot = lu_ret.slot;
2580 status = ensureEmptySlot(destSlot);
2587 return performASIDControlInvocation(frame, destSlot,
|