if (vga_512_chars) c->vc_hi_font_mask = 0x0800; 
static void vgacon_init(struct vc_data *c, int init){	unsigned long p;	/* We cannot be loaded as a module, therefore init is always 1 */	c->vc_can_do_color = vga_can_do_color;	c->vc_cols = vga_video_num_columns;	c->vc_rows = vga_video_num_lines;	c->vc_scan_lines = vga_scan_lines;	c->vc_font.height = vga_video_font_height;	c->vc_complement_mask = 0x7700;	p = *c->vc_uni_pagedir_loc;	if (c->vc_uni_pagedir_loc == &c->vc_uni_pagedir ||	    !--c->vc_uni_pagedir_loc[1])		con_free_unimap(c);	c->vc_uni_pagedir_loc = vgacon_uni_pagedir;	vgacon_uni_pagedir[1]++;	if (!vgacon_uni_pagedir[0] && p)		con_set_default_unimap(c);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a40920b42ae232fac514cc4a1eb92996114af340/vgacon.c/clean/drivers/video/console/vgacon.c