if (!vga_is_gfx) 
if (!vga_is_gfx) { 
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);	return 0;		/* Redrawing not needed */}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/28254d439b8c65f93cb331f5aa741efa6a8ec62f/vgacon.c/buggy/drivers/video/console/vgacon.c