Home
last modified time | relevance | path

Searched refs:vmcs_read64 (Results 1 – 3 of 3) sorted by relevance

/OK3568_Linux_fs/kernel/arch/x86/kvm/vmx/
H A Dvmx.c1936 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()
3066 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()
3067 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()
3068 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()
3069 mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()
5447 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation()
5492 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig()
5930 vmcs_read64(GUEST_PDPTR0), vmcs_read64(GUEST_PDPTR1)); in dump_vmcs()
5932 vmcs_read64(GUEST_PDPTR2), vmcs_read64(GUEST_PDPTR3)); in dump_vmcs()
5954 vmcs_read64(GUEST_IA32_EFER), in dump_vmcs()
[all …]
H A Dvmx_ops.h120 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function
H A Dnested.c3358 vmx->nested.vmcs01_debugctl = vmcs_read64(GUEST_IA32_DEBUGCTL); in nested_vmx_enter_non_root_mode()
3362 vmx->nested.vmcs01_guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in nested_vmx_enter_non_root_mode()
4052 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in sync_vmcs02_to_vmcs12_rare()
4130 vmcs12->guest_pdptr0 = vmcs_read64(GUEST_PDPTR0); in sync_vmcs02_to_vmcs12()
4131 vmcs12->guest_pdptr1 = vmcs_read64(GUEST_PDPTR1); in sync_vmcs02_to_vmcs12()
4132 vmcs12->guest_pdptr2 = vmcs_read64(GUEST_PDPTR2); in sync_vmcs02_to_vmcs12()
4133 vmcs12->guest_pdptr3 = vmcs_read64(GUEST_PDPTR3); in sync_vmcs02_to_vmcs12()
4348 return vmcs_read64(GUEST_IA32_EFER); in nested_vmx_get_vmcs01_guest_efer()
4373 vcpu->arch.pat = vmcs_read64(GUEST_IA32_PAT); in nested_vmx_restore_host_state()