Searched refs:srcSlot (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/seL4/include/arch/riscv/arch/object/
H A Dinterrupt.h21 cte_t *srcSlot, extra_caps_t excaps,
/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dsmmu.h18 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 Dinterrupt.h16 cte_t *srcSlot, extra_caps_t excaps,
/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dinterrupt.h15 cte_t *srcSlot, extra_caps_t excaps,
/seL4-l4v-master/seL4/include/object/
H A Dcnode.h26 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 Dinterrupt.h16 cte_t *srcSlot, extra_caps_t excaps,
H A Duntyped.h34 exception_t invokeUntyped_Retype(cte_t *srcSlot, bool_t reset,
/seL4-l4v-master/seL4/src/object/
H A Duntyped.c238 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 Dcnode.c75 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 Dinterrupt.c24 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 Dtcb.c1672 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 Dinterrupt.c34 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 Dinterrupt.c22 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 Dsmmu.c22 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 Dinterrupt.c69 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);

Completed in 118 milliseconds