Symbol: privcmd_vma_range_is_mapped
drivers/xen/privcmd.c
565
if (privcmd_vma_range_is_mapped(vma, m.addr, nr_pages)) {
drivers/xen/privcmd.c
90
static int privcmd_vma_range_is_mapped(