Searched refs:vmcs_read64 (Results 1 – 1 of 1) sorted by relevance
2347 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function3453 vmcs_read64(TSC_OFFSET), offset); in vmx_write_tsc_offset()4111 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()5186 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()5187 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()5188 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()5189 mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()7666 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_violation()7699 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS); in handle_ept_misconfig()9903 u64 efer = vmcs_read64(GUEST_IA32_EFER); in dump_vmcs()[all …]
