VGA_MEM_ADDR
VGA_MEM_ADDR + VGA_COLOR_BASE;
VGA_MEM_ADDR + VGA_COLOR_BASE;
to = (unsigned char *)PTOV(VGA_MEM_ADDR) + f_offset +
vgatext = (uint16_t *)PTOV(VGA_MEM_ADDR + VGA_COLOR_BASE);
vgatext = (uint16_t *)PTOV(VGA_MEM_ADDR + VGA_MONO_BASE);
#define VGA_SCREEN ((uint16_t *)(VGA_MEM_ADDR + VGA_COLOR_BASE))
VGA_MEM_ADDR, &mem_offset);
PCI_ADDR_MEM32|PCI_RELOCAT_B, VGA_MEM_ADDR,
if (!(off >= VGA_MEM_ADDR &&
off < VGA_MEM_ADDR + console->vga.fb_size)) {
if (off + len > VGA_MEM_ADDR + console->vga.fb_size)
length = VGA_MEM_ADDR + console->vga.fb_size - off;
NULL, console->vga.fb_regno, off - VGA_MEM_ADDR,