Home
last modified time | relevance | path

Searched refs:get_vmcs12 (Results 1 – 4 of 4) sorted by relevance

/openbmc/linux/arch/x86/kvm/vmx/
H A Dnested.h39 static inline struct vmcs12 *get_vmcs12(struct kvm_vcpu *vcpu) in get_vmcs12() function
73 return get_vmcs12(vcpu)->ept_pointer; in nested_ept_get_eptp()
229 return nested_cpu_has_nmi_exiting(get_vmcs12(vcpu)); in nested_exit_on_nmi()
238 return get_vmcs12(vcpu)->pin_based_vm_exec_control & in nested_exit_on_intr()
260 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_guest_cr0_valid()
H A Dnested.c177 get_vmcs12(vcpu)->vm_instruction_error = vm_instruction_error; in nested_vmx_failValid()
382 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_ept_inject_page_fault()
457 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_vmx_is_exception_vmexit()
715 return get_vmcs12(vcpu)->vm_exit_controls & in nested_exit_intr_ack_set()
1027 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_msr_store_list_has_msr()
1131 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_has_guest_tlb_tag()
1525 struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu); in copy_shadow_to_vmcs12()
1560 struct vmcs12 *vmcs12 = get_vmcs12(&vmx->vcpu); in copy_vmcs12_to_shadow()
2070 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in nested_vmx_handle_enlightened_vmptrld()
2118 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_calc_preemption_timer_value()
[all …]
H A Dvmx.c914 eb |= get_vmcs12(vcpu)->exception_bitmap; in vmx_update_exception_bitmap()
1760 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_update_emulated_instruction()
1910 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_get_l2_tsc_offset()
1920 struct vmcs12 *vmcs12 = get_vmcs12(vcpu); in vmx_get_l2_tsc_multiplier()
2219 get_vmcs12(vcpu)->guest_sysenter_cs = data; in vmx_set_msr()
2225 get_vmcs12(vcpu)->guest_sysenter_eip = data; in vmx_set_msr()
2232 get_vmcs12(vcpu)->guest_sysenter_esp = data; in vmx_set_msr()
2249 if (is_guest_mode(vcpu) && get_vmcs12(vcpu)->vm_exit_controls & in vmx_set_msr()
2251 get_vmcs12(vcpu)->guest_ia32_debugctl = data; in vmx_set_msr()
2271 get_vmcs12(vcpu)->guest_bndcfgs = data; in vmx_set_msr()
[all …]
H A Dsgx.c504 vmcs12 = get_vmcs12(vcpu); in vmx_write_encls_bitmap()