Searched full:vmcs (Results 1 – 5 of 5) sorted by relevance
71 As a VMX implementation, nested VMX presents a VMCS structure to L1.79 The name "vmcs12" refers to the VMCS that L1 builds for L2. In the code we80 also have "vmcs01", the VMCS that L0 built for L1, and "vmcs02" is the VMCS91 /* According to the Intel spec, a VMCS region must start with
431 field specified in the VMCS. Special instructions must be used to read and432 write the VMCS field.
126 struct vmcs { struct133 * Track a VMCS that may be loaded on a certain CPU. If it is (cpu!=-1), also138 struct vmcs *vmcs; argument153 * a VMCS structure, and vmcs12 is our emulated VMX's VMCS. This structure is157 * nested_vmx_run() will use the data here to build a vmcs02: a VMCS for the165 /* According to the Intel spec, a VMCS region must start with the315 * VMPTRLD verifies that the VMCS region that L1 is loading contains this id.321 * and any VMCS region. Although only sizeof(struct vmcs12) are used by the341 /* The guest-physical address of the current VMCS L1 keeps for L2 */377 * loaded_vmcs points to the VMCS currently used in this vcpu. For a[all …]
87 /* VMCS Encodings */
85 #define X86EMUL_INTERCEPTED 6 /* Intercepted by nested VMCB/VMCS */