vga_video_num_columns   88 drivers/video/console/vgacon.c static unsigned int	vga_video_num_columns;			/* Number of text columns */
vga_video_num_columns  202 drivers/video/console/vgacon.c 	int pitch = vga_video_num_columns * 2;
vga_video_num_columns  421 drivers/video/console/vgacon.c 	vga_video_num_columns = screen_info.orig_video_cols;
vga_video_num_columns  593 drivers/video/console/vgacon.c 		c->vc_cols = vga_video_num_columns;
vga_video_num_columns  596 drivers/video/console/vgacon.c 		vc_resize(c, vga_video_num_columns, vga_video_num_lines);
vga_video_num_columns  848 drivers/video/console/vgacon.c 	vga_video_num_columns = c->vc_cols;
vga_video_num_columns  860 drivers/video/console/vgacon.c 		    (!(vga_video_num_columns % 2) &&
vga_video_num_columns  861 drivers/video/console/vgacon.c 		     vga_video_num_columns <= screen_info.orig_video_cols &&