VGABASE            42 arch/x86/kernel/early_printk.c 					writew(readw(VGABASE+2*(max_xpos*k+i)),
VGABASE            43 arch/x86/kernel/early_printk.c 					       VGABASE + 2*(max_xpos*j + i));
VGABASE            47 arch/x86/kernel/early_printk.c 				writew(0x720, VGABASE + 2*(max_xpos*j + i));
VGABASE            63 arch/x86/kernel/early_printk.c 			       VGABASE + 2*(max_xpos*current_ypos +