Searched refs:vmcs_read64 (Results 1 – 4 of 4) sorted by relevance
2013 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr() 3250 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs() 3251 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs() 3252 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs() 3253 mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs() 5690 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation() 5718 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig() 6198 tertiary_exec_control = vmcs_read64(TERTIARY_VM_EXEC_CONTROL); in dump_vmcs() 6213 vmcs_read64(GUEST_PDPTR0), vmcs_read64(GUEST_PDPTR in dump_vmcs() [all...]
425 return vmcs_read64(GUEST_IA32_DEBUGCTL) & ~VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_read() 430 u64 val = vmcs_read64(GUEST_IA32_DEBUGCTL); in vmx_reload_guest_debugctl()
171 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function
3545 vmx->nested.pre_vmenter_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in nested_vmx_enter_non_root_mode() 4603 vmcs12->guest_pdptr0 = vmcs_read64(GUEST_PDPTR0); in sync_vmcs02_to_vmcs12() 4604 vmcs12->guest_pdptr1 = vmcs_read64(GUEST_PDPTR1); in sync_vmcs02_to_vmcs12() 4605 vmcs12->guest_pdptr2 = vmcs_read64(GUEST_PDPTR2); in sync_vmcs02_to_vmcs12() 4606 vmcs12->guest_pdptr3 = vmcs_read64(GUEST_PDPTR3); in sync_vmcs02_to_vmcs12() 4830 return vmcs_read64(GUEST_IA32_EFER); in nested_vmx_get_vmcs01_guest_efer() 4855 vcpu->arch.pat = vmcs_read64(GUEST_IA32_PAT); in nested_vmx_restore_host_state()