Symbol: VGABASE
arch/x86/kernel/early_printk.c
41
writew(readw(VGABASE+2*(max_xpos*k+i)),
arch/x86/kernel/early_printk.c
42
VGABASE + 2*(max_xpos*j + i));
arch/x86/kernel/early_printk.c
46
writew(0x720, VGABASE + 2*(max_xpos*j + i));
arch/x86/kernel/early_printk.c
62
VGABASE + 2*(max_xpos*current_ypos +