VGABASE            36 arch/x86/kernel/early_printk.c 					writew(readw(VGABASE+2*(max_xpos*k+i)),
VGABASE            37 arch/x86/kernel/early_printk.c 					       VGABASE + 2*(max_xpos*j + i));
VGABASE            41 arch/x86/kernel/early_printk.c 				writew(0x720, VGABASE + 2*(max_xpos*j + i));
VGABASE            49 arch/x86/kernel/early_printk.c 			       VGABASE + 2*(max_xpos*current_ypos +