Lines Matching defs:only
4 % SPDX-License-Identifier: GPL-2.0-only
53 the scheduler. On the MCS kernel, the thread will only begin running if it has a
82 thread capability from which to use the MCP from. Threads can only set priorities and MCPs
101 This section only applies to configrations with MCS enabled, where threads must have
144 budget is charged. Round-robin threads have two refills only, both of which are always ready to be
180 although \apifunc{seL4\_TCB\_Configure}{tcb_configure} allows more thread fields to be set with only
260 Threads are only eligible for scheduling if they have an active scheduling context.
281 only. If the thread causes
287 handlers an be set with \apifunc{seL4\_TCB\_SetTimeoutEndpoint}{tcb_settimeoutendpoint} (MCS only).
467 capable of generating a fault \textbf{only} on instruction execution. Currently this will be
468 set only on ARM platforms. The API-ID of the first exclusive breakpoint is given
474 capable of generating a fault \textbf{only} on data access. Currently this will be set only
482 supports both instruction and data breaks. Currently this will be set only on
554 \subsection{Timeout Fault (MCS only)}
607 A thread belongs to exactly one domain, and will only run when that domain
632 a \obj{VCPU} to a \obj{TCB} is done by an invocation on the \obj{VCPU} only, and not the \obj{TCB}.
677 Linking means that an I/O port capability can only be used in a single \apifunc{seL4\_X86\_VCPU\_EnableIOPort}{x86_vcpu_enableioport}