L4Re Operating System Framework
Interface and Usage Documentation
|
Data Structures | |
struct | l4_exc_regs_t |
UTCB structure for exceptions. More... | |
Typedefs | |
typedef struct l4_exc_regs_t | l4_exc_regs_t |
UTCB structure for exceptions. | |
Enumerations | |
enum | L4_utcb_consts_amd64 |
UTCB constants for AMD64. | |