Home
last modified time | relevance | path

Searched refs:slot (Results 1 – 25 of 61) sorted by relevance

123

/seL4-master/src/object/
A Dcnode.c72 destSlot = lu_ret.slot; in decodeCNodeInvocation()
104 srcSlot = lu_ret.slot; in decodeCNodeInvocation()
257 srcSlot = lu_ret.slot; in decodeCNodeInvocation()
698 slot->cap = in reduceZombie()
704 assert(ptr2 == slot && ptr != slot); in reduceZombie()
714 assert(ptr != slot); in reduceZombie()
750 slot->cap = cap; in insertNewCap()
761 cte_t *slot; in setupReplyMaster() local
895 cte_t *slot; in getReceiveSlots() local
915 slot = lus_ret.slot; in getReceiveSlots()
[all …]
A Dinterrupt.c62 destSlot = lu_ret.slot; in decodeIRQControlInvocation()
96 cte_t *slot; in decodeIRQHandlerInvocation() local
103 slot = current_extra_caps.excaprefs[0]; in decodeIRQHandlerInvocation()
118 invokeIRQHandler_SetIRQHandler(irq, ntfnCap, slot); in decodeIRQHandlerInvocation()
149 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) in invokeIRQHandler_SetIRQHandler() argument
156 cteInsert(cap, slot, irqSlot); in invokeIRQHandler_SetIRQHandler()
170 cte_t *slot; in deletingIRQHandler() local
172 slot = intStateIRQNode + IRQT_TO_IDX(irq); in deletingIRQHandler()
174 cteDeleteOne(slot); in deletingIRQHandler()
A Dtcb.c406 current_extra_caps.excaprefs[i] = lu_ret.slot; in lookupExtraCaps()
807 return decodeTCBConfigure(cap, length, slot, buffer); in decodeTCBInvocation()
823 return decodeSetIPCBuffer(cap, length, slot, buffer); in decodeTCBInvocation()
826 return decodeSetSpace(cap, length, slot, buffer); in decodeTCBInvocation()
836 return decodeSetTimeoutEndpoint(cap, slot); in decodeTCBInvocation()
1236 exception_t decodeSetTimeoutEndpoint(cap_t cap, cte_t *slot) in decodeSetTimeoutEndpoint() argument
1682 sameObjectAs(tCap, slot->cap)) { in installTCBCap()
1740 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControlCaps()
1780 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControl()
1794 sameObjectAs(tCap, slot->cap)) { in invokeTCB_ThreadControl()
[all …]
A Dobjecttype.c62 deriveCap_ret_t deriveCap(cte_t *slot, cap_t cap) in deriveCap() argument
67 return Arch_deriveCap(slot, cap); in deriveCap()
82 ret.status = ensureNoChildren(slot); in deriveCap()
620 cptr_t capIndex, cte_t *slot, cap_t cap, in decodeInvocation() argument
625 cptr_t capIndex, cte_t *slot, cap_t cap, in decodeInvocation()
632 slot, cap, call, buffer); in decodeInvocation()
706 TCB_PTR(cap_reply_cap_get_capTCBPtr(cap)), slot, in decodeInvocation()
720 return decodeTCBInvocation(invLabel, length, cap, slot, call, buffer); in decodeInvocation()
748 return decodeIRQControlInvocation(invLabel, length, slot, buffer); in decodeInvocation()
812 exception_t performInvocation_Reply(tcb_t *thread, cte_t *slot, bool_t canGrant) in performInvocation_Reply() argument
[all …]
/seL4-master/src/kernel/
A Dcspace.c28 ret.cap = lu_ret.slot->cap; in lookupCap()
40 ret.slot = NULL; in lookupCapAndSlot()
46 ret.slot = lu_ret.slot; in lookupCapAndSlot()
47 ret.cap = lu_ret.slot->cap; in lookupCapAndSlot()
61 ret.slot = res_ret.slot; in lookupSlot()
71 ret.slot = NULL; in lookupSlotForCNodeOp()
106 ret.slot = res_ret.slot; in lookupSlotForCNodeOp()
131 cte_t *slot; in resolveAddressBits() local
134 ret.slot = NULL; in resolveAddressBits()
176 ret.slot = slot; in resolveAddressBits()
[all …]
/seL4-master/include/object/
A Dcnode.h26 exception_t cteRevoke(cte_t *slot);
27 exception_t cteDelete(cte_t *slot, bool_t exposed);
28 void cteDeleteOne(cte_t *slot);
29 void insertNewCap(cte_t *parent, cte_t *slot, cap_t cap);
31 exception_t ensureNoChildren(cte_t *slot);
32 exception_t ensureEmptySlot(cte_t *slot);
34 bool_t PURE slotCapLongRunningDelete(cte_t *slot);
A Dtcb.h127 cte_t *slot, bool_t call, word_t *buffer);
133 cte_t *slot, word_t *buffer);
137 exception_t decodeSetSchedParams(cap_t cap, word_t length, cte_t *slot, word_t *buffer);
142 cte_t *slot, word_t *buffer);
144 cte_t *slot, word_t *buffer);
149 exception_t decodeSetTimeoutEndpoint(cap_t cap, cte_t *slot);
186 exception_t invokeTCB_ThreadControlCaps(tcb_t *target, cte_t *slot,
194 exception_t invokeTCB_ThreadControlSched(tcb_t *target, cte_t *slot,
200 exception_t invokeTCB_ThreadControl(tcb_t *target, cte_t *slot, cptr_t faultep,
A Dobjecttype.h18 deriveCap_ret_t deriveCap(cte_t *slot, cap_t cap);
31 cptr_t capIndex, cte_t *slot, cap_t cap,
42 cptr_t capIndex, cte_t *slot, cap_t cap,
49 exception_t performInvocation_Reply(tcb_t *thread, cte_t *slot, bool_t canGrant);
/seL4-master/src/arch/arm/object/
A Diospace.c135 slot->cap = cap; in performARMIOPTInvocationMap()
144 cte_t *slot, in decodeARMIOPTInvocation() argument
159 deleteIOPageTable(slot->cap); in decodeARMIOPTInvocation()
160 slot->cap = cap_io_page_table_cap_set_capIOPTIsMapped(slot->cap, 0); in decodeARMIOPTInvocation()
236 slot->cap = cap; in performARMIOMapInvocation()
245 cte_t *slot, in decodeARMIOMapInvocation() argument
459 cte_t *slot in performPageInvocationUnmapIO() argument
462 unmapIOPage(slot->cap); in performPageInvocationUnmapIO()
463 slot->cap = cap_small_frame_cap_set_capFMappedAddress(slot->cap, 0); in performPageInvocationUnmapIO()
464 slot->cap = cap_small_frame_cap_set_capFIsIOSpace(slot->cap, 0); in performPageInvocationUnmapIO()
[all …]
/seL4-master/include/arch/arm/arch/object/
A Diospace.h16 exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, word_…
17 exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, word…
18 exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot);
32 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, ca… in decodeARMIOPTInvocation() argument
38 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, c… in decodeARMIOMapInvocation() argument
44 static inline exception_t performPageInvocationUnmapIO(cap_t cap, cte_t *slot) in performPageInvocationUnmapIO() argument
A Dobjecttype.h15 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap);
24 cptr_t cptr, cte_t *slot, cap_t cap,
/seL4-master/include/kernel/
A Dcspace.h23 cte_t *slot; member
29 cte_t *slot; member
35 cte_t *slot; member
41 cte_t *slot; member
/seL4-master/include/arch/x86/arch/object/
A Dobjecttype.h15 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap);
23 exception_t Arch_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t c…
30 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap);
34 exception_t Mode_decodeInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t c…
A Dioport.h18 exception_t decodeX86PortInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t…
20 exception_t decodeX86PortControlInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *slot…
A Diospace.h37 exception_t decodeX86IOPTInvocation(word_t invLabel, word_t length, cte_t *slot, cap_t cap, word_t …
38 exception_t decodeX86IOMapInvocation(word_t length, cte_t *slot, cap_t cap, word_t *buffer);
/seL4-master/src/machine/
A Dcapdl.c137 void obj_ut_print_attrs(cte_t *slot, tcb_t *tcb) in obj_ut_print_attrs() argument
141 (void *)cap_untyped_cap_get_capPtr(slot->cap), in obj_ut_print_attrs()
142 (long unsigned int)cap_untyped_cap_get_capBlockSize(slot->cap), in obj_ut_print_attrs()
143 (long unsigned int)cap_untyped_cap_get_capBlockSize(slot->cap), in obj_ut_print_attrs()
144 WORD_PTR(cap_untyped_cap_get_capPtr(slot->cap))); in obj_ut_print_attrs()
148 for (cte_t *nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode)); in obj_ut_print_attrs()
149 nextPtr && isMDBParentOf(slot, nextPtr); in obj_ut_print_attrs()
150 nextPtr = CTE_PTR(mdb_node_get_mdbNext(slot->cteMDBNode))) { in obj_ut_print_attrs()
151 if (!sameRegionAs(slot->cap, nextPtr->cap)) { in obj_ut_print_attrs()
184 obj_ut_print_attrs(c.slot, tcb); in obj_tcb_print_cnodes()
/seL4-master/src/arch/x86/object/
A Dobjecttype.c23 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) in Arch_deriveCap() argument
137 return Mode_deriveCap(slot, cap); in Arch_deriveCap()
508 cte_t *slot, in Arch_decodeInvocation() argument
517 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, buffer); in Arch_decodeInvocation()
519 return decodeX86PortControlInvocation(invLabel, length, cptr, slot, cap, buffer); in Arch_decodeInvocation()
521 return decodeX86PortInvocation(invLabel, length, cptr, slot, cap, call, buffer); in Arch_decodeInvocation()
526 return decodeX86IOPTInvocation(invLabel, length, slot, cap, buffer); in Arch_decodeInvocation()
530 return decodeX86VCPUInvocation(invLabel, length, cptr, slot, cap, buffer); in Arch_decodeInvocation()
535 return decodeX86EPTInvocation(invLabel, length, cptr, slot, cap, buffer); in Arch_decodeInvocation()
538 return Mode_decodeInvocation(invLabel, length, cptr, slot, cap, buffer); in Arch_decodeInvocation()
A Dtcb.c30 static exception_t performSetEPTRoot(tcb_t *tcb, cap_t cap, cte_t *slot) in performSetEPTRoot() argument
41 cteInsert(cap, slot, rootSlot); in performSetEPTRoot()
/seL4-master/src/arch/arm/64/object/
A Dobjecttype.c30 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) in Arch_deriveCap() argument
475 cte_t *slot, cap_t cap, argument
486 return decodeARMVCPUInvocation(label, length, cptr, slot, cap, call, buffer);
490 return decodeARMSIDControlInvocation(label, length, cptr, slot, cap, call, buffer);
492 return decodeARMSIDInvocation(label, length, cptr, slot, cap, call, buffer);
494 return decodeARMCBControlInvocation(label, length, cptr, slot, cap, call, buffer);
496 return decodeARMCBInvocation(label, length, cptr, slot, cap, call, buffer);
502 return decodeARMMMUInvocation(label, length, cptr, slot, cap, buffer);
/seL4-master/src/arch/riscv/machine/
A Dcapdl.c118 word_t slot = ((vptr >> lu_ret.ptBitsLeft) & MASK(PT_INDEX_BITS)); in cap_frame_print_attrs_vptr() local
120 printf("frame_%p_%04lu ", lu_ret.ptSlot, slot); in cap_frame_print_attrs_vptr()
133 word_t slot = ((vptr >> ptBitsLeft) & MASK(PT_INDEX_BITS)); in print_cap_arch() local
136 lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot, (long unsigned int)asid); in print_cap_arch()
138 printf("pt_%p_%04lu\n", lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot); in print_cap_arch()
/seL4-master/include/fastpath/
A Dfastpath.h13 cte_t *slot; in lookup_fp() local
39 slot = CTE_PTR(cap_cnode_cap_get_capCNodePtr(cap)) + radix; in lookup_fp()
41 cap = slot->cap; in lookup_fp()
/seL4-master/src/arch/x86/32/object/
A Dobjecttype.c35 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap) in Mode_deriveCap() argument
197 cte_t *slot, in Mode_decodeInvocation() argument
206 return decodeX86MMUInvocation(invLabel, length, cptr, slot, cap, buffer); in Mode_decodeInvocation()
/seL4-master/include/arch/riscv/arch/object/
A Dobjecttype.h15 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap);
23 cptr_t cptr, cte_t *slot, cap_t cap,
/seL4-master/manual/parts/
A Dipc.tex62 the receive slot}
63 \ipcparam{seL4\_CPtr}{}{receiveIndex}{CPTR to the receive slot
154 The receiver specifies the slot
157 the slot in which to put the capability. Capability
160 Note that receiving threads may specify only one receive slot, whereas a
175 sender's CNode slot to the receiver's CNode slot. The sender retains access
180 transferred to the specified receive slot and the second capability was
208 \item The destination slot cannot be looked up. Unlike the send
210 destination slot exists and is empty before it initiates the receive.
212 destination slot is invalid and will instead transfer badged
[all …]
/seL4-master/src/arch/x86/64/object/
A Dobjecttype.c37 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap) in Mode_deriveCap() argument
321 cte_t *slot, in Mode_decodeInvocation() argument
332 return decodeX86MMUInvocation(label, length, cptr, slot, cap, buffer); in Mode_decodeInvocation()

Completed in 32 milliseconds

123