get_vmcs12
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu);
get_vmcs12(vcpu)->vm_instruction_error = vm_instruction_error;
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
return nested_cpu_has_preemption_timer(get_vmcs12(vcpu)) &&
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
if (!nested_cpu_has_vid(get_vmcs12(vcpu)) ||
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
copy_vmcs02_to_vmcs12_rare(vcpu, get_vmcs12(vcpu));
: get_vmcs12(vcpu);
get_vmcs12(vcpu)->vmcs_link_pointer == INVALID_GPA))
: get_vmcs12(vcpu);
get_vmcs12(vcpu)->vmcs_link_pointer == INVALID_GPA))
vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
vmcs12 = get_vmcs12(vcpu);
copy_vmcs02_to_vmcs12_rare(vcpu, get_vmcs12(vcpu));
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
vmcs12 = get_vmcs12(vcpu);
return get_vmcs12(vcpu)->vm_exit_controls &
return nested_cpu_has_nmi_exiting(get_vmcs12(vcpu));
return get_vmcs12(vcpu)->pin_based_vm_exec_control &
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
return get_vmcs12(vcpu)->ept_pointer;
vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
get_vmcs12(vcpu)->guest_sysenter_cs = data;
get_vmcs12(vcpu)->guest_sysenter_eip = data;
get_vmcs12(vcpu)->guest_sysenter_esp = data;
if (is_guest_mode(vcpu) && get_vmcs12(vcpu)->vm_exit_controls &
get_vmcs12(vcpu)->guest_ia32_debugctl = data;
get_vmcs12(vcpu)->guest_bndcfgs = data;
get_vmcs12(vcpu)->vm_exit_controls & VM_EXIT_SAVE_IA32_PAT)
get_vmcs12(vcpu)->guest_ia32_pat = data;
if (is_guest_mode(vcpu) && nested_cpu_has_vpid(get_vmcs12(vcpu)))
tmp |= get_vmcs12(vcpu)->cpu_based_vm_exec_control & CR3_EXITING_BITS;
!nested_cpu_has2(get_vmcs12(vcpu), SECONDARY_EXEC_DESC)) {
~get_vmcs12(vcpu)->cr4_guest_host_mask;
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
struct vmcs12 *vmcs12 = get_vmcs12(vcpu);
eb |= get_vmcs12(vcpu)->exception_bitmap;