Modules | |
| UTCB functionality for amd64 | |
| UTCB functionality for arm | |
| UTCB functionality for x86 | |
Data Structures | |
| struct | l4_utcb_t |
| UTCB. More... | |
Functions | |
| l4_utcb_t * | l4_utcb_get (void) |
| Get the address to a thread's UTCB, kernel interface. | |
| l4_umword_t | l4_utcb_exc_pc (l4_utcb_t *u) |
| Access function to get the program counter of the exception state. | |
| unsigned long | l4_utcb_exc_typeval (l4_utcb_t *u) |
| Get the value out of an exception UTCB that describes the type of exception. | |
| int | l4_utcb_exc_is_pf (l4_utcb_t *u) |
| Function to check whether an exception IPC is a page fault, also applies to I/O pagefaults. | |
| l4_addr_t | l4_utcb_exc_pfa (l4_utcb_t *u) |
| Function to get the L4 style page fault address out of an exception. | |
| void | l4_utcb_inherit_fpu (l4_utcb_t *u, int switch_on) |
| Enable or disable inheritence of FPU state to receiver. | |
| L4_CV l4_utcb_t * | l4sys_utcb_get (void) |
| Get the UTCB address. | |
| int l4_utcb_exc_is_pf | ( | l4_utcb_t * | u | ) | [inline] |
Function to check whether an exception IPC is a page fault, also applies to I/O pagefaults.
Definition at line 122 of file ARCH-amd64/utcb.h.
References l4_utcb_exception::err, l4_utcb_t::exc, and l4_utcb_exception::trapno.
| L4_CV l4_utcb_t* l4sys_utcb_get | ( | void | ) |
Get the UTCB address.
This functions should be used by libraries.
This is a weak function which can be overwritten by applications.