Thread attributes used for control_commit().
More...
Thread attributes used for control_commit().
This class is responsible for initializing various attributes of a thread in a UTCB for the control_commit() method.
- See also
- Thread control for some more details.
Definition at line 125 of file thread.
◆ Attr()
Create a thread-attribute object with the given UTCB.
- Parameters
-
utcb | The UTCB to use for the later L4::Thread::control_commit() function. Usually this is the UTCB of the calling thread. |
Definition at line 138 of file thread.
◆ bind()
void L4::Thread::Attr::bind |
( |
l4_utcb_t * |
thread_utcb, |
|
|
Cap< Task > const & |
task |
|
) |
| |
throw | ( | |
| ) | | |
|
inline |
Bind the thread to a task.
- Parameters
-
thread_utcb | The UTCB address of the thread within the task specified by task . |
task | The capability selector for the task the thread shall be bound to. |
Binding a thread to a task means that the thread shall afterwards execute in the given task. To actually start execution you need to use L4::Thread::ex_regs().
Definition at line 191 of file thread.
◆ exc_handler() [1/2]
void L4::Thread::Attr::exc_handler |
( |
Cap< void > const & |
exc_handler | ) |
|
throw | ( | |
| ) | | |
|
inline |
Set the exception-handler capability selector.
- Parameters
-
exc_handler | The capability selector that shall be used for exception messages. This capability selector must be valid within the task the thread is bound to. |
Definition at line 167 of file thread.
◆ exc_handler() [2/2]
Cap<void> L4::Thread::Attr::exc_handler |
( |
| ) |
|
throw | ( | |
| ) | | |
|
inline |
Get the capability selector used for exception messages.
- Returns
- The capability selector used to send exception messages. The selector is valid in the task the thread is bound to.
Definition at line 176 of file thread.
◆ pager() [1/2]
void L4::Thread::Attr::pager |
( |
Cap< void > const & |
pager | ) |
|
throw | ( | |
| ) | | |
|
inline |
Set the pager capability selector.
- Parameters
-
pager | The capability selector that shall be used for page-fault messages. This capability selector must be valid within the task the thread is bound to. |
Definition at line 148 of file thread.
◆ pager() [2/2]
Cap<void> L4::Thread::Attr::pager |
( |
| ) |
|
throw | ( | |
| ) | | |
|
inline |
Get the capability selector used for page-fault messages.
- Returns
- The capability selector used to send page-fault messages. The selector is valid in the task the thread is bound to.
Definition at line 157 of file thread.
◆ ux_host_syscall()
void L4::Thread::Attr::ux_host_syscall |
( |
int |
on | ) |
|
throw | ( | |
| ) | | |
|
inline |
Allow host system calls on Fiasco-UX.
- Precondition
- Running on Fiasco-UX.
Definition at line 205 of file thread.
The documentation for this class was generated from the following file: