#include <l4/sys/types.h>
Go to the source code of this file.
Data Structures | |
| struct | l4_utcb_ex_regs_args |
| UTCB structure for l4_thread_ex_regs arguments. More... | |
| struct | l4_utcb_task_new_args |
| UTCB structure for l4_task_new arguments. More... | |
| struct | l4_utcb_exception |
| UTCB structure for exceptions. More... | |
Enumerations | |
| enum | { L4_EXCEPTION_REPLY_DW0_DEALIEN = 1, L4_UTCB_EXCEPTION_REGS_SIZE = 16, L4_UTCB_GENERIC_DATA_SIZE = 32, L4_UTCB_BUFFER_ACCEPTOR = 0, L4_UTCB_INHERIT_FPU = 2 } |
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. | |
| l4_umword_t | 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. | |
Definition in file ARCH-x86/utcb.h.