max_xpos           29 arch/x86/kernel/early_printk.c static int max_ypos = 25, max_xpos = 80;
max_xpos           41 arch/x86/kernel/early_printk.c 				for (i = 0; i < max_xpos; i++) {
max_xpos           42 arch/x86/kernel/early_printk.c 					writew(readw(VGABASE+2*(max_xpos*k+i)),
max_xpos           43 arch/x86/kernel/early_printk.c 					       VGABASE + 2*(max_xpos*j + i));
max_xpos           46 arch/x86/kernel/early_printk.c 			for (i = 0; i < max_xpos; i++)
max_xpos           47 arch/x86/kernel/early_printk.c 				writew(0x720, VGABASE + 2*(max_xpos*j + i));
max_xpos           63 arch/x86/kernel/early_printk.c 			       VGABASE + 2*(max_xpos*current_ypos +
max_xpos           65 arch/x86/kernel/early_printk.c 			if (current_xpos >= max_xpos) {
max_xpos          378 arch/x86/kernel/early_printk.c 			max_xpos = boot_params.screen_info.orig_video_cols;