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