vgacon_doresize(c, c->vc_cols, c->vc_rows); 
if (!(vga_video_num_columns % 2) && vga_video_num_columns <= ORIG_VIDEO_COLS && vga_video_num_lines <= (ORIG_VIDEO_LINES * vga_default_font_height) / c->vc_font.height) vgacon_doresize(c, c->vc_cols, c->vc_rows); 
static int vgacon_switch(struct vc_data *c){	/*	 * We need to save screen size here as it's the only way	 * we can spot the screen has been resized and we need to	 * set size of freshly allocated screens ourselves.	 */	vga_video_num_columns = c->vc_cols;	vga_video_num_lines = c->vc_rows;	/* We can only copy out the size of the video buffer here,	 * otherwise we get into VGA BIOS */	if (!vga_is_gfx) {		scr_memcpyw((u16 *) c->vc_origin, (u16 *) c->vc_screenbuf,			    c->vc_screenbuf_size > vga_vram_size ?				vga_vram_size : c->vc_screenbuf_size);		vgacon_doresize(c, c->vc_cols, c->vc_rows);	}	return 0;		/* Redrawing not needed */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0aec4867dca149e2049e8439b76bd82ad9dac52c/vgacon.c/clean/drivers/video/console/vgacon.c