privcmd_vma_range_is_mapped   65 drivers/xen/privcmd.c static int privcmd_vma_range_is_mapped(
privcmd_vma_range_is_mapped  540 drivers/xen/privcmd.c 		if (privcmd_vma_range_is_mapped(vma, m.addr, nr_pages)) {