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