/seL4-l4v-master/seL4/include/arch/riscv/arch/object/ |
H A D | interrupt.h | 21 cte_t *srcSlot, extra_caps_t excaps,
|
/seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
H A D | smmu.h | 18 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 22 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 26 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 30 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps,
|
H A D | interrupt.h | 16 cte_t *srcSlot, extra_caps_t excaps,
|
/seL4-l4v-master/seL4/include/arch/x86/arch/object/ |
H A D | interrupt.h | 15 cte_t *srcSlot, extra_caps_t excaps,
|
/seL4-l4v-master/seL4/include/object/ |
H A D | cnode.h | 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);
|
H A D | interrupt.h | 16 cte_t *srcSlot, extra_caps_t excaps,
|
H A D | untyped.h | 34 exception_t invokeUntyped_Retype(cte_t *srcSlot, bool_t reset,
|
/seL4-l4v-master/seL4/src/object/ |
H A D | untyped.c | 238 static exception_t resetUntypedCap(cte_t *srcSlot) argument 240 cap_t prev_cap = srcSlot->cap; 261 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, 0); 266 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset)); 276 exception_t invokeUntyped_Retype(cte_t *srcSlot, argument 283 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(srcSlot->cap)); 287 status = resetUntypedCap(srcSlot); 300 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(srcSlot->cap, 304 createNewObjects(newType, srcSlot, destSlot [all...] |
H A D | cnode.c | 75 cte_t *srcSlot; local 104 srcSlot = lu_ret.slot; 106 if (cap_get_capType(srcSlot->cap) == cap_null_cap) { 125 srcCap = maskCapRights(cap_rights, srcSlot->cap); 126 dc_ret = deriveCap(srcSlot, srcCap); 145 srcCap = maskCapRights(cap_rights, srcSlot->cap); 146 dc_ret = deriveCap(srcSlot, 158 newCap = srcSlot->cap; 171 newCap = updateCapData(true, capData, srcSlot->cap); 189 return invokeCNodeMove(newCap, srcSlot, destSlo 235 cte_t *pivotSlot, *srcSlot; local 336 invokeCNodeInsert(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument 343 invokeCNodeMove(cap_t cap, cte_t *srcSlot, cte_t *destSlot) argument 367 cte_t *srcSlot; local 396 setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) 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 | 24 cte_t *srcSlot, extra_caps_t excaps, 73 return invokeIRQControl(irq, destSlot, srcSlot); 75 return Arch_decodeIRQControlInvocation(invLabel, length, srcSlot, excaps, buffer); 23 decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
H A D | tcb.c | 1672 tcb_cnode_index_t index, cap_t newCap, cte_t *srcSlot) 1681 if (sameObjectAs(newCap, srcSlot->cap) && 1683 cteInsert(newCap, srcSlot, rootSlot); 1671 installTCBCap(tcb_t *target, cap_t tCap, cte_t *slot, tcb_cnode_index_t index, cap_t newCap, cte_t *srcSlot) argument
|
/seL4-l4v-master/seL4/src/arch/riscv/object/ |
H A D | interrupt.c | 34 cte_t *srcSlot, extra_caps_t excaps, 85 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); 33 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
/seL4-l4v-master/seL4/src/arch/arm/object/ |
H A D | interrupt.c | 22 cte_t *srcSlot, extra_caps_t excaps, 79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); 131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger); 21 Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, word_t *buffer) argument
|
H A D | smmu.c | 22 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 93 cteInsert(cap_sid_cap_new(sid), srcSlot, destSlot); local 98 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 185 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 245 cteInsert(cap_cb_cap_new(SID_INVALID, cb), srcSlot, destSlot); local 250 cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, 21 decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument 97 decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument 184 decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument 249 decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr, cte_t *srcSlot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
|
/seL4-l4v-master/seL4/src/arch/x86/object/ |
H A D | interrupt.c | 69 exception_t Arch_decodeIRQControlInvocation(word_t invLabel, word_t length, cte_t *srcSlot, extra_caps_t excaps, argument 146 return invokeIssueIRQHandlerIOAPIC(irq, ioapic, pin, level, polarity, vector, destSlot, srcSlot); 182 return Arch_invokeIRQControl(irq, destSlot, srcSlot, irqState);
|