} else if (!strncmp(buf, "vga", 3)) { 
} else if (!strncmp(buf, "vga", 3) && SCREEN_INFO.orig_video_isVGA == 1) { max_xpos = SCREEN_INFO.orig_video_cols; max_ypos = SCREEN_INFO.orig_video_lines; 
int __init setup_early_printk(char *opt) {  	char *space;	char buf[256]; 	if (early_console_initialized)		return -1;	opt = strchr(opt, '=') + 1;	strlcpy(buf,opt,sizeof(buf)); 	space = strchr(buf, ' '); 	if (space)		*space = 0; 	if (strstr(buf,"keep"))		keep_early = 1; 	if (!strncmp(buf, "serial", 6)) { 		early_serial_init(buf + 6);		early_console = &early_serial_console;	} else if (!strncmp(buf, "ttyS", 4)) { 		early_serial_init(buf);		early_console = &early_serial_console;			} else if (!strncmp(buf, "vga", 3)) {		early_console = &early_vga_console; 	}	early_console_initialized = 1;	register_console(early_console);       	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/799d19f6ec5ca2102c61122f5219a17f1c4e961a/early_printk.c/clean/arch/x86_64/kernel/early_printk.c