Lines Matching refs:destination
139 \arg Destination CNode address relative to destination cspace
140 \arg Slot in destination CNode cap to place copy into
157 \arg Capability address of destination root cnode relative to our cspace
158 \arg CNode address to place copy into relative to destination cspace.
179 \arg Address of CNode cap in destination cspcae to place retyped caps into.
180 \arg Level/depth of CNode cap in destination cspace
186 destination type.
187 It will fail if the source or destination are invalid, or if the capability
191 The destination slots must all occupy the same CNode. The permissible
192 source/destination pairs are shown in \ref{fig:cap_types} and