L4Re Operating System Framework
Interface and Usage Documentation
|
VMX extended vCPU state. More...
#include <__vm-vmx.h>
VMX extended vCPU state.
For completeness, this is the overall memory layout of the vCPU:
0x000 - 0x1ff: Standard vCPU state l4_vcpu_state_t (with padding). 0x200 - 0x3ff: VMX capabilities (with padding). 0x400 - 0xfff: VMX extended vCPU state.
The memory layout of the VMX extended vCPU state is as follows:
0x000 - 0x007: Reserved (ignored by the kernel). In the hardware VMCS, the revision identifier and the abort indicator are stored in this area. Hereby we simply ignore these two entries. 0x008 - 0x00f: User space data (ignored by the kernel). This currently stores the pointer to a different VMX extended vCPU state that has been loaded into the given state. 0x010 - 0x013: VMCS field index of the software-defined CR2 field in the software VMCS. 0x014 - 0x017: Reserved. 0x018 - 0x01f: Capability of the hardware VMCS object (with padding). 0x020 - 0x047: Software VMCS field offset table l4_vmx_offset_table_t. 0x048 - 0x0bf: Reserved. 0x0c0 - 0xabf: Software VMCS fields (with padding). 0xac0 - 0xbff: Software VMCS fields dirty bitmap (with padding).
Definition at line 231 of file __vm-vmx.h.