Searched refs:ve_info_pa (Results 1 – 1 of 1) sorted by relevance
6759 u64 ve_info_pa = vmcs_read64(VE_INFORMATION_ADDRESS); in __vmx_handle_exit() 6767 pr_err("VE info address = 0x%016llx%s\n", ve_info_pa,6768 ve_info_pa == __pa(ve_info) ? "" : "(corrupted!)"); in vmx_handle_exit() 6590 u64 ve_info_pa = vmcs_read64(VE_INFORMATION_ADDRESS); dump_vmcs() local