Lines Matching refs:vmcs12
63 #include "vmcs12.h"
1695 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
1708 if (nested_cpu_has_mtf(vmcs12) &&
1831 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
1841 (vmcs12->cpu_based_vm_exec_control & CPU_BASED_USE_TSC_OFFSETTING))
1842 g_tsc_offset = vmcs12->tsc_offset;
5086 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
5097 val = (val & ~vmcs12->cr0_guest_host_mask) |
5098 (vmcs12->guest_cr0 & vmcs12->cr0_guest_host_mask);
5119 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
5123 val = (val & ~vmcs12->cr4_guest_host_mask) |
5124 (vmcs12->guest_cr4 & vmcs12->cr4_guest_host_mask);
6100 * nested VM-Enter with an invalid vmcs12.
6111 * are loaded into the vmcs02 (e.g. vmcs12's Virtual APIC
6304 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
6308 nested_cpu_has(vmcs12, CPU_BASED_TPR_SHADOW))
6437 * vmcs12 virtual-interrupt-delivery enabled.
7491 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
7512 if (!nested_cpu_has(vmcs12, CPU_BASED_USE_IO_BITMAPS))
7513 intercept = nested_cpu_has(vmcs12,
7527 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
7536 if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_RDTSCP)) {
7557 if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_DESC))
7573 !nested_cpu_has2(vmcs12, CPU_BASED_PAUSE_EXITING))