L4Re - L4 Runtime Environment
amd64 Virtual Registers (UTCB)
+ Collaboration diagram for amd64 Virtual Registers (UTCB):

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.
 

Detailed Description