VGA_FONTWIDTH     569 drivers/video/console/vgacon.c 	vgacon_xres = screen_info.orig_video_cols * VGA_FONTWIDTH;
VGA_FONTWIDTH     784 drivers/video/console/vgacon.c 	vgacon_xres = width * VGA_FONTWIDTH;
VGA_FONTWIDTH     839 drivers/video/console/vgacon.c 	int x = c->vc_cols * VGA_FONTWIDTH;
VGA_FONTWIDTH    1290 drivers/video/console/vgacon.c 	if (font->width != VGA_FONTWIDTH ||
VGA_FONTWIDTH    1308 drivers/video/console/vgacon.c 	font->width = VGA_FONTWIDTH;