numgfns           897 drivers/xen/privcmd.c 	int numgfns = (vma->vm_end - vma->vm_start) >> XEN_PAGE_SHIFT;
numgfns           903 drivers/xen/privcmd.c 	rc = xen_unmap_domain_gfn_range(vma, numgfns, pages);