Lines Matching refs:slot
62 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
171 tag. The capability itself is not transferred, so the receive slot may be used
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
214 destination slot is made.
242 \item If this is the case. A reply capability is set in a specific slot of the
255 specific TCB slot) with the \apifunc{seL4\_Reply}{sel4_reply} or saved to an
256 addressable slot using \apifunc{seL4\_CNode\_SaveCaller}{cnode_savecaller} to be
257 invoked later with \apifunc{seL4\_Send}{sel4_send}. The specific slot cannot be