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