| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/object/ |
| H A D | interrupt.h | 19 cte_t *srcSlot, extra_caps_t excaps,
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/ |
| H A D | interrupt.h | 20 cte_t *srcSlot, extra_caps_t excaps,
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | interrupt.c | 32 cte_t *srcSlot, extra_caps_t excaps,
31 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | cnode.h | 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);
36 void cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
37 void cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot);
|
| H A D | interrupt.h | 21 cte_t *srcSlot, extra_caps_t excaps,
|
| H A D | untyped.h | 39 exception_t invokeUntyped_Retype(cte_t *srcSlot, bool_t reset,
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | untyped.c | 236 resetUntypedCap(cte_t *srcSlot) argument
238 cap_t prev_cap = srcSlot->cap;
259 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, 0);
264 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset));
275 invokeUntyped_Retype(cte_t *srcSlot, argument
282 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(srcSlot->cap));
285 freeRef = GET_FREE_REF(regionBase, cap_untyped_cap_get_capFreeIndex(srcSlot->cap));
288 status = resetUntypedCap(srcSlot);
297 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(srcSlot
[all...] |
| H A D | cnode.c | 74 cte_t *srcSlot; local
103 srcSlot = lu_ret.slot;
105 if (cap_get_capType(srcSlot->cap) == cap_null_cap) {
124 srcCap = maskCapRights(cap_rights, srcSlot->cap);
125 dc_ret = deriveCap(srcSlot, srcCap);
144 srcCap = maskCapRights(cap_rights, srcSlot->cap);
145 dc_ret = deriveCap(srcSlot,
157 newCap = srcSlot->cap;
170 newCap = updateCapData(true, capData, srcSlot->cap);
188 return invokeCNodeMove(newCap, srcSlot, destSlo
232 cte_t *pivotSlot, *srcSlot; local
337 invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
345 invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument
370 cte_t *srcSlot; local
399 setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) argument
414 cteInsert(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
450 cteMove(cap_t newCap, cte_t *srcSlot, cte_t *destSlot) argument
[all...] |
| H A D | interrupt.c | 30 cte_t *srcSlot, extra_caps_t excaps,
79 return invokeIRQControl(irq, destSlot, srcSlot);
81 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer);
29 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/ |
| H A D | interrupt.h | 20 cte_t *srcSlot, extra_caps_t excaps,
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | interrupt.c | 27 cte_t *srcSlot, extra_caps_t excaps,
78 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
26 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | interrupt.c | 77 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
153 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot);
190 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|