L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
AMD64 Virtual Registers (UTCB)
Base API » Object Invocation » Virtual Registers (UTCBs)
Collaboration diagram for AMD64 Virtual Registers (UTCB):

Data Structures

struct  l4_exc_regs_t
 UTCB structure for exceptions. More...

Detailed Description