Searched refs:vmcs_read64 (Results 1 – 3 of 3) sorted by relevance
2181 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()3421 vcpu->arch.pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()3422 vcpu->arch.pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()3423 vcpu->arch.pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()3424 vcpu->arch.pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()5988 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation()6016 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig()6529 tertiary_exec_control = vmcs_read64(TERTIARY_VM_EXEC_CONTROL); in dump_vmcs()6544 vmcs_read64(GUEST_PDPTR0), vmcs_read64(GUEST_PDPTR1)); in dump_vmcs()6546 vmcs_read64(GUEST_PDPTR2), vmcs_read64(GUEST_PDPTR3)); in dump_vmcs()[all …]
417 return vmcs_read64(GUEST_IA32_DEBUGCTL) & ~VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_read()422 u64 val = vmcs_read64(GUEST_IA32_DEBUGCTL); in vmx_reload_guest_debugctl()
170 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function