| /seL4-mcs-10.1.1/include/object/ |
| H A D | cnode.h | 28 exception_t invokeCNodeRevoke(cte_t *destSlot);
29 exception_t invokeCNodeDelete(cte_t *destSlot);
31 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
32 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
35 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
36 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
|
| /seL4-mcs-10.1.1/src/arch/arm/object/ |
| H A D | interrupt.c | 68 cte_t *destSlot = lu_ret.slot; local
70 status = ensureEmptySlot(destSlot);
78 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | cnode.c | 45 cte_t *destSlot; local
71 destSlot = lu_ret.slot;
92 status = ensureEmptySlot(destSlot);
188 return invokeCNodeMove(newCap, srcSlot, destSlot);
190 return invokeCNodeInsert(newCap, srcSlot, destSlot);
196 return invokeCNodeRevoke(destSlot);
201 return invokeCNodeDelete(destSlot);
207 destCap = destSlot->cap;
251 if (pivotSlot == srcSlot || pivotSlot == destSlot) {
257 if (srcSlot != destSlot) {
302 invokeCNodeRevoke(cte_t *destSlot) argument
308 invokeCNodeDelete(cte_t *destSlot) argument
326 invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
334 invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
375 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
411 cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
[all...] |
| H A D | interrupt.c | 35 cte_t *destSlot; local
68 destSlot = lu_ret.slot;
70 status = ensureEmptySlot(destSlot);
78 return invokeIRQControl(irq, destSlot, srcSlot);
|
| /seL4-mcs-10.1.1/src/arch/x86/object/ |
| H A D | interrupt.c | 80 cte_t *destSlot; local
133 destSlot = lu_ret.slot;
135 status = ensureEmptySlot(destSlot);
153 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
190 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|
| H A D | ioport.c | 128 cte_t *destSlot; local
169 destSlot = lu_ret.slot;
171 status = ensureEmptySlot(destSlot);
178 return invokeX86PortControl(first_port, last_port, destSlot, slot);
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | thread.c | 232 cte_t* destSlot; local
241 destSlot = getReceiveSlots(receiver, receiveBuffer);
260 if (!destSlot) {
273 cteInsert(dc_ret.cap, slot, destSlot);
275 destSlot = NULL;
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | vspace.c | 1011 cte_t* destSlot; local
1066 destSlot = lu_ret.slot;
1068 status = ensureEmptySlot(destSlot);
1074 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | vspace.c | 1409 cte_t* destSlot; local
1465 destSlot = lu_ret.slot;
1467 status = ensureEmptySlot(destSlot);
1473 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2842 cte_t *parentSlot, *destSlot; local
2903 destSlot = lu_ret.slot;
2905 status = ensureEmptySlot(destSlot);
2912 return performASIDControlInvocation(frame, destSlot,
|
| /seL4-mcs-10.1.1/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2417 cte_t *parentSlot, *destSlot; local
2473 destSlot = lu_ret.slot;
2475 status = ensureEmptySlot(destSlot);
2481 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);
|