Searched refs:get_vmcs12 (Results 1 – 4 of 4) sorted by relevance
41 static inline struct vmcs12 *get_vmcs12(struct kvm_vcpu *vcpu) in get_vmcs12() function75 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_eptp()230 return nested_cpu_has_nmi_exiting(get_vmcs12(vcpu)); in nested_exit_on_nmi()239 return get_vmcs12(vcpu)->pin_based_vm_exec_control & in nested_exit_on_intr()261 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_guest_cr0_valid()
175 get_vmcs12(vcpu)->vm_instruction_error = vm_instruction_error; in nested_vmx_failValid()369 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_ept_inject_page_fault()448 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_vmx_check_exception()482 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_vmx_handle_page_fault_workaround()738 return get_vmcs12(vcpu)->vm_exit_controls & in nested_exit_intr_ack_set()1050 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_msr_store_list_has_msr()1154 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_has_guest_tlb_tag()1536 struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu); in copy_shadow_to_vmcs12()1571 struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu); in copy_vmcs12_to_shadow()2041 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_vmx_handle_enlightened_vmptrld()[all …]
800 eb |= get_vmcs12(vcpu)->exception_bitmap; in vmx_update_exception_bitmap()1639 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_update_emulated_instruction()1773 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_get_l2_tsc_offset()1783 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_get_l2_tsc_multiplier()2065 get_vmcs12(vcpu)->guest_sysenter_cs = data; in vmx_set_msr()2071 get_vmcs12(vcpu)->guest_sysenter_eip = data; in vmx_set_msr()2078 get_vmcs12(vcpu)->guest_sysenter_esp = data; in vmx_set_msr()2095 if (is_guest_mode(vcpu) && get_vmcs12(vcpu)->vm_exit_controls & in vmx_set_msr()2097 get_vmcs12(vcpu)->guest_ia32_debugctl = data; in vmx_set_msr()2192 get_vmcs12(vcpu)->vm_exit_controls & VM_EXIT_SAVE_IA32_PAT) in vmx_set_msr()[all …]
491 vmcs12 = get_vmcs12(vcpu); in vmx_write_encls_bitmap()