miny              190 drivers/video/fbdev/xen-fbfront.c 	int y1, y2, miny, maxy;
miny              192 drivers/video/fbdev/xen-fbfront.c 	miny = INT_MAX;
miny              201 drivers/video/fbdev/xen-fbfront.c 		if (miny > y1)
miny              202 drivers/video/fbdev/xen-fbfront.c 			miny = y1;
miny              206 drivers/video/fbdev/xen-fbfront.c 	xenfb_refresh(info, 0, miny, fb_info->var.xres, maxy - miny + 1);