vgacon_xres        57 drivers/video/console/vgacon.c static u32 vgacon_xres;
vgacon_xres       569 drivers/video/console/vgacon.c 	vgacon_xres = screen_info.orig_video_cols * VGA_FONTWIDTH;
vgacon_xres       784 drivers/video/console/vgacon.c 	vgacon_xres = width * VGA_FONTWIDTH;
vgacon_xres       859 drivers/video/console/vgacon.c 		if ((vgacon_xres != x || vgacon_yres != y) &&