Barrelfish
|
A VMKit guest control and state structure. More...
Data Fields | |
struct registers_x86_64 | regs |
Space to store all regs not captured in the VMCB. | |
A VMKit guest control and state structure.
Defines some control and state values shared beween VMKit kernel and a VM monitor.