Detailed Description

VMX vCPU state.

This is a specialization of the generic vCPU state for VMX. This data structure represents the following memory layout:

0x000 - 0x1ff: Standard vCPU state (with padding). See l4_vcpu_state_t.
0x200 - 0x3ff: VMX information members (with padding). See l4_vm_vmx_vcpu_infos_t.
0x400 - 0xfff: VMX software VMCS. See l4_vm_vmx_vcpu_vmcs_t.

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 267 of file __vm-vmx.h.

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