/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);
|