Searched refs:gaddr_tmp (Results 1 – 1 of 1) sorted by relevance
4815 unsigned long gaddr_tmp; in vcpu_dat_fault_handler() local4828 gaddr_tmp = __gmap_translate(vcpu->arch.gmap, gaddr); in vcpu_dat_fault_handler()4830 if (gaddr_tmp == -EFAULT) { in vcpu_dat_fault_handler()4836 gfn = gpa_to_gfn(gaddr_tmp); in vcpu_dat_fault_handler()