Detailed Description

VMX software VMCS.

This data structure represents the following memory layout:

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 software VMCS whose content has been loaded to this software VMCS.
0x010 - 0x013: VMCS field index of the software-defined CR2 field in the software VMCS.
0x014 - 0x017: Reserved.
0x018 - 0x01f: Capability of the vCPU context, i.e. the hardware VMCS object (with padding).
0x020 - 0x047: Software VMCS field offset table. See l4_vmx_offset_table_t.
0x048 - 0x0bf: Reserved.
0x0c0 - 0xabf: Software VMCS fields (with padding).
0xac0 - 0xbff: Software VMCS fields dirty bitmap (with padding).

Note: The memory layout is documented here for reference purposes. However, the users are strongly discouraged from accessing the data structure directly. The API functions defined in this file are the preferred way of achieving the functionality.

Definition at line 205 of file __vm-vmx.h.

The documentation for this struct was generated from the following file: