Symbol: vmalloc_to_gfn
drivers/video/fbdev/xen-fbfront.c
535
info->gfns[i] = vmalloc_to_gfn(info->fb + i * PAGE_SIZE);
drivers/video/fbdev/xen-fbfront.c
538
info->page->pd[i] = vmalloc_to_gfn(&info->gfns[i * epd]);