h_idxs             78 drivers/xen/xlate_mmu.c 	xen_ulong_t h_idxs[XEN_PFN_PER_PAGE];
h_idxs             88 drivers/xen/xlate_mmu.c 	info->h_idxs[info->h_iter] = *info->fgfn;
h_idxs            116 drivers/xen/xlate_mmu.c 	set_xen_guest_handle(xatp.idxs, info->h_idxs);