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;