Searched refs:vmcs_read64 (Results 1 – 4 of 4) sorted by relevance
608 u64 data = vmcs_read64(GUEST_IA32_DEBUGCTL); in intel_pmu_legacy_freezing_lbrs_on_pmi()682 if (vmcs_read64(GUEST_IA32_DEBUGCTL) & DEBUGCTLMSR_LBR) in vmx_passthrough_lbr_msrs()704 if (!(vmcs_read64(GUEST_IA32_DEBUGCTL) & DEBUGCTLMSR_LBR)) in intel_pmu_cleanup()
2071 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()3299 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()3300 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()3301 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()3302 mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()5829 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation()5874 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig()6369 vmcs_read64(GUEST_PDPTR0), vmcs_read64(GUEST_PDPTR1)); in dump_vmcs()6371 vmcs_read64(GUEST_PDPTR2), vmcs_read64(GUEST_PDPTR3)); in dump_vmcs()6405 vmcs_read64(GUEST_IA32_DEBUGCTL), in dump_vmcs()[all …]
171 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function
3523 vmx->nested.pre_vmenter_debugctl = vmcs_read64(GUEST_IA32_DEBUGCTL); in nested_vmx_enter_non_root_mode()3527 vmx->nested.pre_vmenter_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in nested_vmx_enter_non_root_mode()4585 vmcs12->guest_pdptr0 = vmcs_read64(GUEST_PDPTR0); in sync_vmcs02_to_vmcs12()4586 vmcs12->guest_pdptr1 = vmcs_read64(GUEST_PDPTR1); in sync_vmcs02_to_vmcs12()4587 vmcs12->guest_pdptr2 = vmcs_read64(GUEST_PDPTR2); in sync_vmcs02_to_vmcs12()4588 vmcs12->guest_pdptr3 = vmcs_read64(GUEST_PDPTR3); in sync_vmcs02_to_vmcs12()4806 return vmcs_read64(GUEST_IA32_EFER); in nested_vmx_get_vmcs01_guest_efer()4831 vcpu->arch.pat = vmcs_read64(GUEST_IA32_PAT); in nested_vmx_restore_host_state()