| /seL4-camkes-master/kernel/include/object/ |
| H A D | cnode.h | 23 exception_t invokeCNodeRevoke(cte_t *destSlot);
24 exception_t invokeCNodeDelete(cte_t *destSlot);
26 exception_t invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
27 exception_t invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot);
30 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
31 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
47 exception_t invokeCNodeSaveCaller(cte_t *destSlot);
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | cnode.c | 46 cte_t *destSlot; local
72 destSlot = lu_ret.slot;
93 status = ensureEmptySlot(destSlot);
189 return invokeCNodeMove(newCap, srcSlot, destSlot);
191 return invokeCNodeInsert(newCap, srcSlot, destSlot);
197 return invokeCNodeRevoke(destSlot);
202 return invokeCNodeDelete(destSlot);
207 status = ensureEmptySlot(destSlot);
214 return invokeCNodeSaveCaller(destSlot);
221 destCap = destSlot
315 invokeCNodeRevoke(cte_t *destSlot) argument
320 invokeCNodeDelete(cte_t *destSlot) argument
336 invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
343 invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
364 invokeCNodeSaveCaller(cte_t *destSlot) argument
410 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
445 cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
[all...] |
| H A D | interrupt.c | 30 cte_t *destSlot; local
63 destSlot = lu_ret.slot;
65 status = ensureEmptySlot(destSlot);
73 return invokeIRQControl(irq, destSlot, srcSlot);
|
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | interrupt.c | 69 cte_t *destSlot = lu_ret.slot; local
71 status = ensureEmptySlot(destSlot);
79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
114 cte_t *destSlot = lu_ret.slot; local
116 status = ensureEmptySlot(destSlot);
131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| H A D | smmu.c | 27 cte_t *destSlot; local
84 destSlot = lu_ret.slot;
85 status = ensureEmptySlot(destSlot);
93 cteInsert(cap_sid_cap_new(sid), srcSlot, destSlot); local
190 cte_t *destSlot; local
235 destSlot = lu_ret.slot;
236 status = ensureEmptySlot(destSlot);
245 cteInsert(cap_cb_cap_new(SID_INVALID, cb), srcSlot, destSlot); local
|
| /seL4-camkes-master/kernel/src/arch/riscv/object/ |
| H A D | interrupt.c | 75 cte_t *destSlot = lu_ret.slot; local
77 status = ensureEmptySlot(destSlot);
85 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 73 cte_t *destSlot; local
126 destSlot = lu_ret.slot;
128 status = ensureEmptySlot(destSlot);
146 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
182 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|
| H A D | ioport.c | 117 cte_t *destSlot; local
158 destSlot = lu_ret.slot;
160 status = ensureEmptySlot(destSlot);
167 return invokeX86PortControl(first_port, last_port, destSlot, slot);
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | thread.c | 240 cte_t *destSlot; local
249 destSlot = getReceiveSlots(receiver, receiveBuffer);
268 if (!destSlot) {
281 cteInsert(dc_ret.cap, slot, destSlot);
283 destSlot = NULL;
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 948 cte_t *destSlot; local
1003 destSlot = lu_ret.slot;
1005 status = ensureEmptySlot(destSlot);
1011 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);
|
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 1273 cte_t *destSlot; local
1329 destSlot = lu_ret.slot;
1331 status = ensureEmptySlot(destSlot);
1337 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2571 cte_t *parentSlot, *destSlot; local
2632 destSlot = lu_ret.slot;
2634 status = ensureEmptySlot(destSlot);
2641 return performASIDControlInvocation(frame, destSlot,
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2299 cte_t *parentSlot, *destSlot; local
2355 destSlot = lu_ret.slot;
2357 status = ensureEmptySlot(destSlot);
2363 return performASIDControlInvocation(frame, destSlot, parentSlot, asid_base);
|