Lines Matching defs:target
71 ``home core'' and manages a ``target core''. It encapsulates the hardware
79 ``corectrl'' is generated at build time and can be used to do target core
128 \item boot \textless target coreid\textgreater: Boots a new core with a KCB.
129 \item stop \textless target coreid\textgreater: Stop execution on an existing core.
130 \item update \textless target coreid\textgreater: Update the CPU driver on an existing core.
155 \section{boot \textless target coreid\textgreater}
193 binary to spawn on the target core. However, this can be overridden by manually
241 \section{stop \textless target coreid\textgreater}
265 \section{update \textless target coreid\textgreater}
271 \section{give \textless target kcbid\textgreater \textless destination kcbid\textgreater}
280 monitor of the target KCB. The message instructs the receiving monitor to inform
284 passing along the cap reference of the target KCB. Upon receipt, the destination
289 to re-register them, and then start dispatching the target KCB.
292 target kcbid.
301 \item The target or destination KCB ID is invalid: The operation is aborted.
306 \item The target KCB is not currently running on a core: The step where we
307 first send a message to the target KCB is skipped.
317 monitor of the target KCB.
319 \item Upon receipt, the monitor of the target KCB will instruct the CPU driver