xenfb_refresh     206 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, 0, miny, fb_info->var.xres, maxy - miny + 1);
xenfb_refresh     250 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, rect->dx, rect->dy, rect->width, rect->height);
xenfb_refresh     258 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, image->dx, image->dy, image->width, image->height);
xenfb_refresh     266 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, area->dx, area->dy, area->width, area->height);
xenfb_refresh     276 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, 0, 0, info->page->width, info->page->height);
xenfb_refresh     359 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, INT_MAX, INT_MAX, -INT_MAX, -INT_MAX);