Lines Matching defs:threads
11 \chapter{\label{ch:threads}Threads and Execution}
14 \label{sec:threads}
16 seL4 provides threads to represent an execution context and manage
20 may be shared with other threads. A \obj{TCB} may also have an IPC buffer
50 Suspended threads can later be resumed.
64 All threads have a maximum controlled priority (MCP) and a priority, the latter being the effective
66 When a thread modifies a another threads priority (including itself) it must provide a
192 Debug exceptions are used to deliver trace and debug related events to threads.
194 events are examples. These events are supported for userspace threads when the kernel
269 threads when configured to do so (when CONFIG\_HARDWARE\_DEBUG\_API is set). To