186 	get_vmcs12(vcpu)->vm_instruction_error = vm_instruction_error;  in nested_vmx_failValid()
328 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_ept_inject_page_fault()
389 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_check_exception()
424 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in vmx_inject_page_fault_nested()
696 	return get_vmcs12(vcpu)->vm_exit_controls &  in nested_exit_intr_ack_set()
702 	return nested_cpu_has_nmi_exiting(get_vmcs12(vcpu));  in nested_exit_on_nmi()
1035 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_has_guest_tlb_tag()
1369 	struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu);  in copy_shadow_to_vmcs12()
1404 	struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu);  in copy_vmcs12_to_shadow()
1882 			struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_handle_enlightened_vmptrld()
1938 	u64 preemption_timeout = get_vmcs12(vcpu)->vmx_preemption_timer_value;  in vmx_start_preemption_timer()
2922 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_get_vmcs12_pages()
3046 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_enter_non_root_mode()
3201 	vmcs12 = get_vmcs12(vcpu);  in nested_vmx_run()
3376 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_mark_vmcs12_pages_dirty()
3431 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_inject_exception_vmexit()
3476 	if (nested_cpu_has_preemption_timer(get_vmcs12(vcpu)) &&  in vmx_check_nested_events()
3952 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_restore_host_state()
4067 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_vmexit()
4503 	copy_vmcs02_to_vmcs12_rare(vcpu, get_vmcs12(vcpu));  in nested_release_vmcs12()
4617 		vmcs12 = get_vmcs12(vcpu);  in handle_vmread()
4623 		if (get_vmcs12(vcpu)->vmcs_link_pointer == -1ull)  in handle_vmread()
4739 		vmcs12 = get_vmcs12(vcpu);  in handle_vmwrite()
4752 		if (get_vmcs12(vcpu)->vmcs_link_pointer == -1ull)  in handle_vmwrite()
5102 	vmcs12 = get_vmcs12(vcpu);  in handle_vmfunc()
5322 	struct vmcs12 *vmcs12 = get_vmcs12(vcpu);  in nested_vmx_exit_reflected()
5520 	vmcs12 = get_vmcs12(vcpu);  in vmx_get_nested_state()
5717 	vmcs12 = get_vmcs12(vcpu);  in vmx_set_nested_state()