Lines Matching refs:vmcs12
60 #include "vmcs12.h"
1696 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
1699 (vmcs12->cpu_based_vm_exec_control & CPU_BASED_USE_TSC_OFFSETING))
1700 return vcpu->arch.tsc_offset - vmcs12->tsc_offset;
1707 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
1717 (vmcs12->cpu_based_vm_exec_control & CPU_BASED_USE_TSC_OFFSETING))
1718 g_tsc_offset = vmcs12->tsc_offset;
4759 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
4770 val = (val & ~vmcs12->cr0_guest_host_mask) |
4771 (vmcs12->guest_cr0 & vmcs12->cr0_guest_host_mask);
4792 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
4796 val = (val & ~vmcs12->cr4_guest_host_mask) |
4797 (vmcs12->guest_cr4 & vmcs12->cr4_guest_host_mask);
5239 * allowed a nested VMEntry with an invalid vmcs12.
6029 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
6032 nested_cpu_has(vmcs12, CPU_BASED_TPR_SHADOW))
6134 * vmcs12 virtual-interrupt-delivery enabled.
7130 struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
7138 !nested_cpu_has2(vmcs12, SECONDARY_EXEC_RDTSCP)) {
7243 struct vmcs12 *vmcs12;
7255 vmcs12 = get_vmcs12(vcpu);
7256 if (!nested_cpu_has_pml(vmcs12))
7259 if (vmcs12->guest_pml_index >= PML_ENTITY_NUM) {
7265 dst = vmcs12->pml_address + sizeof(u64) * vmcs12->guest_pml_index;
7271 vmcs12->guest_pml_index--;