vgabios: Rename vbe.c to bochsvga.c.
authorKevin O'Connor <kevin@koconnor.net>
Sat, 31 Dec 2011 08:09:55 +0000 (03:09 -0500)
committerKevin O'Connor <kevin@koconnor.net>
Sat, 31 Dec 2011 08:09:55 +0000 (03:09 -0500)
The code is specific to the Bochs "dispi" interface, not the vesa
video bios extensions spec.

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
Makefile
vgasrc/bochsvga.c [new file with mode: 0644]
vgasrc/bochsvga.h [new file with mode: 0644]
vgasrc/dispi.h [deleted file]
vgasrc/vbe.c [deleted file]

index da6999cc8c868f9071e4fcfbbeeb7a06833c6c30..3d60b88133dc791e65bd75b84ec7be6530e8d433 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -171,7 +171,7 @@ $(OUT)bios.bin.elf $(OUT)bios.bin: $(OUT)rom.o tools/checkrom.py
 # VGA src files
 SRCVGA=src/output.c src/util.c vgasrc/vga.c vgasrc/vgafb.c vgasrc/vgaio.c \
     vgasrc/vgatables.c vgasrc/vgafonts.c \
-    vgasrc/clext.c vgasrc/vbe.c vgasrc/geodelx.c
+    vgasrc/clext.c vgasrc/bochsvga.c vgasrc/geodelx.c
 
 CFLAGS16VGA = $(CFLAGS16INC) -g -Isrc
 
diff --git a/vgasrc/bochsvga.c b/vgasrc/bochsvga.c
new file mode 100644 (file)
index 0000000..7ea1a1f
--- /dev/null
@@ -0,0 +1,340 @@
+#include "vgatables.h"
+#include "vbe.h"
+#include "bochsvga.h"
+#include "util.h"
+#include "config.h" // CONFIG_
+#include "biosvar.h" // SET_BDA
+
+struct mode
+{
+    u16 mode;
+    u16 width;
+    u16 height;
+    u8 depth;
+} vbe_modes[] VAR16 = {
+    /* standard modes */
+    { 0x100, 640,  400,  8  },
+    { 0x101, 640,  480,  8  },
+    { 0x102, 800,  600,  4  },
+    { 0x103, 800,  600,  8  },
+    { 0x104, 1024, 768,  4  },
+    { 0x105, 1024, 768,  8  },
+    { 0x106, 1280, 1024, 4  },
+    { 0x107, 1280, 1024, 8  },
+    { 0x10D, 320,  200,  15 },
+    { 0x10E, 320,  200,  16 },
+    { 0x10F, 320,  200,  24 },
+    { 0x110, 640,  480,  15 },
+    { 0x111, 640,  480,  16 },
+    { 0x112, 640,  480,  24 },
+    { 0x113, 800,  600,  15 },
+    { 0x114, 800,  600,  16 },
+    { 0x115, 800,  600,  24 },
+    { 0x116, 1024, 768,  15 },
+    { 0x117, 1024, 768,  16 },
+    { 0x118, 1024, 768,  24 },
+    { 0x119, 1280, 1024, 15 },
+    { 0x11A, 1280, 1024, 16 },
+    { 0x11B, 1280, 1024, 24 },
+    { 0x11C, 1600, 1200, 8  },
+    { 0x11D, 1600, 1200, 15 },
+    { 0x11E, 1600, 1200, 16 },
+    { 0x11F, 1600, 1200, 24 },
+    /* BOCHS modes */
+    { 0x140, 320,  200,  32 },
+    { 0x141, 640,  400,  32 },
+    { 0x142, 640,  480,  32 },
+    { 0x143, 800,  600,  32 },
+    { 0x144, 1024, 768,  32 },
+    { 0x145, 1280, 1024, 32 },
+    { 0x146, 320,  200,  8  },
+    { 0x147, 1600, 1200, 32 },
+    { 0x148, 1152, 864,  8  },
+    { 0x149, 1152, 864,  15 },
+    { 0x14a, 1152, 864,  16 },
+    { 0x14b, 1152, 864,  24 },
+    { 0x14c, 1152, 864,  32 },
+    { 0x178, 1280, 800,  16 },
+    { 0x179, 1280, 800,  24 },
+    { 0x17a, 1280, 800,  32 },
+    { 0x17b, 1280, 960,  16 },
+    { 0x17c, 1280, 960,  24 },
+    { 0x17d, 1280, 960,  32 },
+    { 0x17e, 1440, 900,  16 },
+    { 0x17f, 1440, 900,  24 },
+    { 0x180, 1440, 900,  32 },
+    { 0x181, 1400, 1050, 16 },
+    { 0x182, 1400, 1050, 24 },
+    { 0x183, 1400, 1050, 32 },
+    { 0x184, 1680, 1050, 16 },
+    { 0x185, 1680, 1050, 24 },
+    { 0x186, 1680, 1050, 32 },
+    { 0x187, 1920, 1200, 16 },
+    { 0x188, 1920, 1200, 24 },
+    { 0x189, 1920, 1200, 32 },
+    { 0x18a, 2560, 1600, 16 },
+    { 0x18b, 2560, 1600, 24 },
+    { 0x18c, 2560, 1600, 32 },
+    { 0, },
+};
+
+#define BYTES_PER_PIXEL(m) ((GET_GLOBAL((m)->depth) + 7) / 8)
+
+u32 pci_lfb_addr VAR16;
+
+static inline u32 pci_config_readl(u8 bus, u8 devfn, u16 addr)
+{
+    int status;
+    u32 val;
+    u16 bdf = (bus << 16) | devfn;
+
+    addr &= ~3;
+
+    asm volatile(
+            "int $0x1a\n"
+            "cli\n"
+            "cld"
+            : "=a"(status), "=c"(val)
+            : "a"(0xb10a), "b"(bdf), "D"(addr)
+            : "cc", "memory");
+
+    if ((status >> 16))
+        return (u32)-1;
+
+    return val;
+}
+
+
+static u16 dispi_get_max_xres(void)
+{
+    u16 en;
+    u16 xres;
+
+    en = dispi_read(VBE_DISPI_INDEX_ENABLE);
+
+    dispi_write(VBE_DISPI_INDEX_ENABLE, en | VBE_DISPI_GETCAPS);
+    xres = dispi_read(VBE_DISPI_INDEX_XRES);
+    dispi_write(VBE_DISPI_INDEX_ENABLE, en);
+
+    return xres;
+}
+
+static u16 dispi_get_max_bpp(void)
+{
+    u16 en;
+    u16 bpp;
+
+    en = dispi_read(VBE_DISPI_INDEX_ENABLE);
+
+    dispi_write(VBE_DISPI_INDEX_ENABLE, en | VBE_DISPI_GETCAPS);
+    bpp = dispi_read(VBE_DISPI_INDEX_BPP);
+    dispi_write(VBE_DISPI_INDEX_ENABLE, en);
+
+    return bpp;
+}
+
+/* Called only during POST */
+int
+vbe_init(u8 bus, u8 devfn)
+{
+    u32 lfb_addr;
+
+    if (!CONFIG_VGA_BOCHS)
+        return -1;
+
+    /* Sanity checks */
+    dispi_write(VBE_DISPI_INDEX_ID, VBE_DISPI_ID0);
+    if (dispi_read(VBE_DISPI_INDEX_ID) != VBE_DISPI_ID0) {
+        dprintf(1, "No VBE DISPI interface detected\n");
+        return -1;
+    }
+
+    SET_BDA(vbe_flag, 0x1);
+    dispi_write(VBE_DISPI_INDEX_ID, VBE_DISPI_ID5);
+
+    if (CONFIG_VGA_PCI)
+        lfb_addr = pci_config_readl(bus, devfn, 0x10) & ~0xf;
+    else
+        lfb_addr = VBE_DISPI_LFB_PHYSICAL_ADDRESS;
+
+    SET_FARVAR(get_global_seg(), pci_lfb_addr, lfb_addr);
+
+    dprintf(1, "VBE DISPI detected. lfb_addr=%x\n", GET_GLOBAL(pci_lfb_addr));
+
+    return 0;
+}
+
+int
+vbe_enabled(void)
+{
+    return GET_BDA(vbe_flag);
+}
+
+u16
+vbe_total_mem(void)
+{
+    return dispi_read(VBE_DISPI_INDEX_VIDEO_MEMORY_64K);
+}
+
+static struct mode *find_mode_entry(u16 mode)
+{
+    struct mode *m;
+
+    for (m = vbe_modes; GET_GLOBAL(m->mode); m++) {
+        if (GET_GLOBAL(m->mode) == mode)
+            return m;
+    }
+
+    return NULL;
+}
+
+static int mode_valid(struct mode *m)
+{
+    u16 max_xres = dispi_get_max_xres();
+    u16 max_bpp = dispi_get_max_bpp();
+    u32 max_mem = vbe_total_mem() * 64 * 1024;
+
+    u32 mem = GET_GLOBAL(m->width) * GET_GLOBAL(m->height) *
+              BYTES_PER_PIXEL(m);
+
+    if (GET_GLOBAL(m->width) > max_xres ||
+        GET_GLOBAL(m->depth) > max_bpp ||
+        mem > max_mem)
+        return 0;
+
+    return 1;
+}
+
+int
+vbe_list_modes(u16 seg, u16 ptr)
+{
+    int count = 0;
+    u16 *dest = (u16 *)(u32)ptr;
+    struct mode *m;
+
+    for (m = vbe_modes; GET_GLOBAL(m->mode); m++) {
+        if (!mode_valid(m))
+            continue;
+
+        dprintf(1, "VBE found mode %x valid.\n", GET_GLOBAL(m->mode));
+        SET_FARVAR(seg, dest[count], GET_GLOBAL(m->mode));
+
+        count++;
+    }
+
+    SET_FARVAR(seg, dest[count], 0xffff); /* End of list */
+
+    return count;
+}
+
+int
+vbe_mode_info(u16 mode, struct vbe_modeinfo *info)
+{
+    struct mode *m;
+
+    m = find_mode_entry(mode);
+    if (!m || !mode_valid(m))
+        return -1;
+
+    info->width = GET_GLOBAL(m->width);
+    info->height = GET_GLOBAL(m->height);
+    info->depth = GET_GLOBAL(m->depth);
+
+    info->linesize = info->width * ((info->depth + 7) / 8);
+    info->phys_base = GET_GLOBAL(pci_lfb_addr);
+    info->vram_size = vbe_total_mem() * 64 * 1024;
+
+    return 0;
+}
+
+void
+vbe_hires_enable(int enable)
+{
+    u16 flags = enable ?
+        VBE_DISPI_ENABLED |
+        VBE_DISPI_LFB_ENABLED |
+        VBE_DISPI_NOCLEARMEM : 0;
+
+    dispi_write(VBE_DISPI_INDEX_ENABLE, flags);
+}
+
+void
+vbe_set_mode(u16 mode, struct vbe_modeinfo *info)
+{
+    if (info->depth == 4)
+        vga_set_mode(0x6a, 0);
+    if (info->depth == 8)
+        // XXX load_dac_palette(3);
+        ;
+
+    dispi_write(VBE_DISPI_INDEX_BPP, info->depth);
+    dispi_write(VBE_DISPI_INDEX_XRES, info->width);
+    dispi_write(VBE_DISPI_INDEX_YRES, info->height);
+    dispi_write(VBE_DISPI_INDEX_BANK, 0);
+
+    /* VGA compat setup */
+    //XXX: This probably needs some reverse engineering
+    u8 v;
+    outw(0x0011, VGAREG_VGA_CRTC_ADDRESS);
+    outw(((info->width * 4 - 1) << 8) | 0x1, VGAREG_VGA_CRTC_ADDRESS);
+    dispi_write(VBE_DISPI_INDEX_VIRT_WIDTH, info->width);
+    outw(((info->height - 1) << 8) | 0x12, VGAREG_VGA_CRTC_ADDRESS);
+    outw(((info->height - 1) & 0xff00) | 0x7, VGAREG_VGA_CRTC_ADDRESS);
+    v = inb(VGAREG_VGA_CRTC_DATA) & 0xbd;
+    if (v & 0x1)
+        v |= 0x2;
+    if (v & 0x2)
+        v |= 0x40;
+    outb(v, VGAREG_VGA_CRTC_DATA);
+
+    outw(0x9, VGAREG_VGA_CRTC_ADDRESS);
+    outb(0x17, VGAREG_VGA_CRTC_ADDRESS);
+    outb(inb(VGAREG_VGA_CRTC_DATA) | 0x3, VGAREG_VGA_CRTC_DATA);
+    v = inb(VGAREG_ACTL_RESET);
+    outw(0x10, VGAREG_ACTL_ADDRESS);
+    v = inb(VGAREG_ACTL_READ_DATA) | 0x1;
+    outb(v, VGAREG_ACTL_ADDRESS);
+    outb(0x20, VGAREG_ACTL_ADDRESS);
+    outw(0x0506, VGAREG_GRDC_ADDRESS);
+    outw(0x0f02, VGAREG_SEQU_ADDRESS);
+    if (info->depth >= 8) {
+        outb(0x14, VGAREG_VGA_CRTC_ADDRESS);
+        outb(inb(VGAREG_VGA_CRTC_DATA) | 0x40, VGAREG_VGA_CRTC_DATA);
+        v = inb(VGAREG_ACTL_RESET);
+        outw(0x10, VGAREG_ACTL_ADDRESS);
+        v = inb(VGAREG_ACTL_READ_DATA) | 0x40;
+        outb(v, VGAREG_ACTL_ADDRESS);
+        outb(0x20, VGAREG_ACTL_ADDRESS);
+        outb(0x04, VGAREG_SEQU_ADDRESS);
+        v = inb(VGAREG_SEQU_DATA) | 0x08;
+        outb(v, VGAREG_SEQU_DATA);
+        outb(0x05, VGAREG_GRDC_ADDRESS);
+        v = inb(VGAREG_GRDC_DATA) & 0x9f;
+        outb(v | 0x40, VGAREG_GRDC_DATA);
+    }
+
+    SET_BDA(vbe_mode, mode);
+}
+
+void
+vbe_clear_scr(void)
+{
+    u16 en;
+
+    en = dispi_read(VBE_DISPI_INDEX_ENABLE);
+    en &= ~VBE_DISPI_NOCLEARMEM;
+    dispi_write(VBE_DISPI_INDEX_ENABLE, en);
+}
+
+int
+vbe_hires_enabled(void)
+{
+    return dispi_read(VBE_DISPI_INDEX_ENABLE) & VBE_DISPI_ENABLED;
+}
+
+u16
+vbe_curr_mode(void)
+{
+    return GET_BDA(vbe_mode);
+}
+
diff --git a/vgasrc/bochsvga.h b/vgasrc/bochsvga.h
new file mode 100644 (file)
index 0000000..963cb13
--- /dev/null
@@ -0,0 +1,55 @@
+#ifndef __DISPI_H
+#define __DISPI_H
+
+#include "types.h" // u8
+#include "ioport.h" // outb
+
+#define VBE_DISPI_BANK_ADDRESS           0xA0000
+#define VBE_DISPI_BANK_SIZE_KB           64
+
+#define VBE_DISPI_MAX_XRES               2560
+#define VBE_DISPI_MAX_YRES               1600
+
+#define VBE_DISPI_IOPORT_INDEX           0x01CE
+#define VBE_DISPI_IOPORT_DATA            0x01CF
+
+#define VBE_DISPI_INDEX_ID               0x0
+#define VBE_DISPI_INDEX_XRES             0x1
+#define VBE_DISPI_INDEX_YRES             0x2
+#define VBE_DISPI_INDEX_BPP              0x3
+#define VBE_DISPI_INDEX_ENABLE           0x4
+#define VBE_DISPI_INDEX_BANK             0x5
+#define VBE_DISPI_INDEX_VIRT_WIDTH       0x6
+#define VBE_DISPI_INDEX_VIRT_HEIGHT      0x7
+#define VBE_DISPI_INDEX_X_OFFSET         0x8
+#define VBE_DISPI_INDEX_Y_OFFSET         0x9
+#define VBE_DISPI_INDEX_VIDEO_MEMORY_64K 0xa
+
+#define VBE_DISPI_ID0                    0xB0C0
+#define VBE_DISPI_ID1                    0xB0C1
+#define VBE_DISPI_ID2                    0xB0C2
+#define VBE_DISPI_ID3                    0xB0C3
+#define VBE_DISPI_ID4                    0xB0C4
+#define VBE_DISPI_ID5                    0xB0C5
+
+#define VBE_DISPI_DISABLED               0x00
+#define VBE_DISPI_ENABLED                0x01
+#define VBE_DISPI_GETCAPS                0x02
+#define VBE_DISPI_8BIT_DAC               0x20
+#define VBE_DISPI_LFB_ENABLED            0x40
+#define VBE_DISPI_NOCLEARMEM             0x80
+
+#define VBE_DISPI_LFB_PHYSICAL_ADDRESS   0xE0000000
+
+static inline u16 dispi_read(u16 reg)
+{
+    outw(reg, VBE_DISPI_IOPORT_INDEX);
+    return inw(VBE_DISPI_IOPORT_DATA);
+}
+static inline void dispi_write(u16 reg, u16 val)
+{
+    outw(reg, VBE_DISPI_IOPORT_INDEX);
+    outw(val, VBE_DISPI_IOPORT_DATA);
+}
+
+#endif
diff --git a/vgasrc/dispi.h b/vgasrc/dispi.h
deleted file mode 100644 (file)
index 963cb13..0000000
+++ /dev/null
@@ -1,55 +0,0 @@
-#ifndef __DISPI_H
-#define __DISPI_H
-
-#include "types.h" // u8
-#include "ioport.h" // outb
-
-#define VBE_DISPI_BANK_ADDRESS           0xA0000
-#define VBE_DISPI_BANK_SIZE_KB           64
-
-#define VBE_DISPI_MAX_XRES               2560
-#define VBE_DISPI_MAX_YRES               1600
-
-#define VBE_DISPI_IOPORT_INDEX           0x01CE
-#define VBE_DISPI_IOPORT_DATA            0x01CF
-
-#define VBE_DISPI_INDEX_ID               0x0
-#define VBE_DISPI_INDEX_XRES             0x1
-#define VBE_DISPI_INDEX_YRES             0x2
-#define VBE_DISPI_INDEX_BPP              0x3
-#define VBE_DISPI_INDEX_ENABLE           0x4
-#define VBE_DISPI_INDEX_BANK             0x5
-#define VBE_DISPI_INDEX_VIRT_WIDTH       0x6
-#define VBE_DISPI_INDEX_VIRT_HEIGHT      0x7
-#define VBE_DISPI_INDEX_X_OFFSET         0x8
-#define VBE_DISPI_INDEX_Y_OFFSET         0x9
-#define VBE_DISPI_INDEX_VIDEO_MEMORY_64K 0xa
-
-#define VBE_DISPI_ID0                    0xB0C0
-#define VBE_DISPI_ID1                    0xB0C1
-#define VBE_DISPI_ID2                    0xB0C2
-#define VBE_DISPI_ID3                    0xB0C3
-#define VBE_DISPI_ID4                    0xB0C4
-#define VBE_DISPI_ID5                    0xB0C5
-
-#define VBE_DISPI_DISABLED               0x00
-#define VBE_DISPI_ENABLED                0x01
-#define VBE_DISPI_GETCAPS                0x02
-#define VBE_DISPI_8BIT_DAC               0x20
-#define VBE_DISPI_LFB_ENABLED            0x40
-#define VBE_DISPI_NOCLEARMEM             0x80
-
-#define VBE_DISPI_LFB_PHYSICAL_ADDRESS   0xE0000000
-
-static inline u16 dispi_read(u16 reg)
-{
-    outw(reg, VBE_DISPI_IOPORT_INDEX);
-    return inw(VBE_DISPI_IOPORT_DATA);
-}
-static inline void dispi_write(u16 reg, u16 val)
-{
-    outw(reg, VBE_DISPI_IOPORT_INDEX);
-    outw(val, VBE_DISPI_IOPORT_DATA);
-}
-
-#endif
diff --git a/vgasrc/vbe.c b/vgasrc/vbe.c
deleted file mode 100644 (file)
index 2a1e932..0000000
+++ /dev/null
@@ -1,340 +0,0 @@
-#include "vgatables.h"
-#include "vbe.h"
-#include "dispi.h"
-#include "util.h"
-#include "config.h" // CONFIG_
-#include "biosvar.h" // SET_BDA
-
-struct mode
-{
-    u16 mode;
-    u16 width;
-    u16 height;
-    u8 depth;
-} vbe_modes[] VAR16 = {
-    /* standard modes */
-    { 0x100, 640,  400,  8  },
-    { 0x101, 640,  480,  8  },
-    { 0x102, 800,  600,  4  },
-    { 0x103, 800,  600,  8  },
-    { 0x104, 1024, 768,  4  },
-    { 0x105, 1024, 768,  8  },
-    { 0x106, 1280, 1024, 4  },
-    { 0x107, 1280, 1024, 8  },
-    { 0x10D, 320,  200,  15 },
-    { 0x10E, 320,  200,  16 },
-    { 0x10F, 320,  200,  24 },
-    { 0x110, 640,  480,  15 },
-    { 0x111, 640,  480,  16 },
-    { 0x112, 640,  480,  24 },
-    { 0x113, 800,  600,  15 },
-    { 0x114, 800,  600,  16 },
-    { 0x115, 800,  600,  24 },
-    { 0x116, 1024, 768,  15 },
-    { 0x117, 1024, 768,  16 },
-    { 0x118, 1024, 768,  24 },
-    { 0x119, 1280, 1024, 15 },
-    { 0x11A, 1280, 1024, 16 },
-    { 0x11B, 1280, 1024, 24 },
-    { 0x11C, 1600, 1200, 8  },
-    { 0x11D, 1600, 1200, 15 },
-    { 0x11E, 1600, 1200, 16 },
-    { 0x11F, 1600, 1200, 24 },
-    /* BOCHS modes */
-    { 0x140, 320,  200,  32 },
-    { 0x141, 640,  400,  32 },
-    { 0x142, 640,  480,  32 },
-    { 0x143, 800,  600,  32 },
-    { 0x144, 1024, 768,  32 },
-    { 0x145, 1280, 1024, 32 },
-    { 0x146, 320,  200,  8  },
-    { 0x147, 1600, 1200, 32 },
-    { 0x148, 1152, 864,  8  },
-    { 0x149, 1152, 864,  15 },
-    { 0x14a, 1152, 864,  16 },
-    { 0x14b, 1152, 864,  24 },
-    { 0x14c, 1152, 864,  32 },
-    { 0x178, 1280, 800,  16 },
-    { 0x179, 1280, 800,  24 },
-    { 0x17a, 1280, 800,  32 },
-    { 0x17b, 1280, 960,  16 },
-    { 0x17c, 1280, 960,  24 },
-    { 0x17d, 1280, 960,  32 },
-    { 0x17e, 1440, 900,  16 },
-    { 0x17f, 1440, 900,  24 },
-    { 0x180, 1440, 900,  32 },
-    { 0x181, 1400, 1050, 16 },
-    { 0x182, 1400, 1050, 24 },
-    { 0x183, 1400, 1050, 32 },
-    { 0x184, 1680, 1050, 16 },
-    { 0x185, 1680, 1050, 24 },
-    { 0x186, 1680, 1050, 32 },
-    { 0x187, 1920, 1200, 16 },
-    { 0x188, 1920, 1200, 24 },
-    { 0x189, 1920, 1200, 32 },
-    { 0x18a, 2560, 1600, 16 },
-    { 0x18b, 2560, 1600, 24 },
-    { 0x18c, 2560, 1600, 32 },
-    { 0, },
-};
-
-#define BYTES_PER_PIXEL(m) ((GET_GLOBAL((m)->depth) + 7) / 8)
-
-u32 pci_lfb_addr VAR16;
-
-static inline u32 pci_config_readl(u8 bus, u8 devfn, u16 addr)
-{
-    int status;
-    u32 val;
-    u16 bdf = (bus << 16) | devfn;
-
-    addr &= ~3;
-
-    asm volatile(
-            "int $0x1a\n"
-            "cli\n"
-            "cld"
-            : "=a"(status), "=c"(val)
-            : "a"(0xb10a), "b"(bdf), "D"(addr)
-            : "cc", "memory");
-
-    if ((status >> 16))
-        return (u32)-1;
-
-    return val;
-}
-
-
-static u16 dispi_get_max_xres(void)
-{
-    u16 en;
-    u16 xres;
-
-    en = dispi_read(VBE_DISPI_INDEX_ENABLE);
-
-    dispi_write(VBE_DISPI_INDEX_ENABLE, en | VBE_DISPI_GETCAPS);
-    xres = dispi_read(VBE_DISPI_INDEX_XRES);
-    dispi_write(VBE_DISPI_INDEX_ENABLE, en);
-
-    return xres;
-}
-
-static u16 dispi_get_max_bpp(void)
-{
-    u16 en;
-    u16 bpp;
-
-    en = dispi_read(VBE_DISPI_INDEX_ENABLE);
-
-    dispi_write(VBE_DISPI_INDEX_ENABLE, en | VBE_DISPI_GETCAPS);
-    bpp = dispi_read(VBE_DISPI_INDEX_BPP);
-    dispi_write(VBE_DISPI_INDEX_ENABLE, en);
-
-    return bpp;
-}
-
-/* Called only during POST */
-int
-vbe_init(u8 bus, u8 devfn)
-{
-    u32 lfb_addr;
-
-    if (!CONFIG_VGA_BOCHS)
-        return -1;
-
-    /* Sanity checks */
-    dispi_write(VBE_DISPI_INDEX_ID, VBE_DISPI_ID0);
-    if (dispi_read(VBE_DISPI_INDEX_ID) != VBE_DISPI_ID0) {
-        dprintf(1, "No VBE DISPI interface detected\n");
-        return -1;
-    }
-
-    SET_BDA(vbe_flag, 0x1);
-    dispi_write(VBE_DISPI_INDEX_ID, VBE_DISPI_ID5);
-
-    if (CONFIG_VGA_PCI)
-        lfb_addr = pci_config_readl(bus, devfn, 0x10) & ~0xf;
-    else
-        lfb_addr = VBE_DISPI_LFB_PHYSICAL_ADDRESS;
-
-    SET_FARVAR(get_global_seg(), pci_lfb_addr, lfb_addr);
-
-    dprintf(1, "VBE DISPI detected. lfb_addr=%x\n", GET_GLOBAL(pci_lfb_addr));
-
-    return 0;
-}
-
-int
-vbe_enabled(void)
-{
-    return GET_BDA(vbe_flag);
-}
-
-u16
-vbe_total_mem(void)
-{
-    return dispi_read(VBE_DISPI_INDEX_VIDEO_MEMORY_64K);
-}
-
-static struct mode *find_mode_entry(u16 mode)
-{
-    struct mode *m;
-
-    for (m = vbe_modes; GET_GLOBAL(m->mode); m++) {
-        if (GET_GLOBAL(m->mode) == mode)
-            return m;
-    }
-
-    return NULL;
-}
-
-static int mode_valid(struct mode *m)
-{
-    u16 max_xres = dispi_get_max_xres();
-    u16 max_bpp = dispi_get_max_bpp();
-    u32 max_mem = vbe_total_mem() * 64 * 1024;
-
-    u32 mem = GET_GLOBAL(m->width) * GET_GLOBAL(m->height) *
-              BYTES_PER_PIXEL(m);
-
-    if (GET_GLOBAL(m->width) > max_xres ||
-        GET_GLOBAL(m->depth) > max_bpp ||
-        mem > max_mem)
-        return 0;
-
-    return 1;
-}
-
-int
-vbe_list_modes(u16 seg, u16 ptr)
-{
-    int count = 0;
-    u16 *dest = (u16 *)(u32)ptr;
-    struct mode *m;
-
-    for (m = vbe_modes; GET_GLOBAL(m->mode); m++) {
-        if (!mode_valid(m))
-            continue;
-
-        dprintf(1, "VBE found mode %x valid.\n", GET_GLOBAL(m->mode));
-        SET_FARVAR(seg, dest[count], GET_GLOBAL(m->mode));
-
-        count++;
-    }
-
-    SET_FARVAR(seg, dest[count], 0xffff); /* End of list */
-
-    return count;
-}
-
-int
-vbe_mode_info(u16 mode, struct vbe_modeinfo *info)
-{
-    struct mode *m;
-
-    m = find_mode_entry(mode);
-    if (!m || !mode_valid(m))
-        return -1;
-
-    info->width = GET_GLOBAL(m->width);
-    info->height = GET_GLOBAL(m->height);
-    info->depth = GET_GLOBAL(m->depth);
-
-    info->linesize = info->width * ((info->depth + 7) / 8);
-    info->phys_base = GET_GLOBAL(pci_lfb_addr);
-    info->vram_size = vbe_total_mem() * 64 * 1024;
-
-    return 0;
-}
-
-void
-vbe_hires_enable(int enable)
-{
-    u16 flags = enable ?
-        VBE_DISPI_ENABLED |
-        VBE_DISPI_LFB_ENABLED |
-        VBE_DISPI_NOCLEARMEM : 0;
-
-    dispi_write(VBE_DISPI_INDEX_ENABLE, flags);
-}
-
-void
-vbe_set_mode(u16 mode, struct vbe_modeinfo *info)
-{
-    if (info->depth == 4)
-        vga_set_mode(0x6a, 0);
-    if (info->depth == 8)
-        // XXX load_dac_palette(3);
-        ;
-
-    dispi_write(VBE_DISPI_INDEX_BPP, info->depth);
-    dispi_write(VBE_DISPI_INDEX_XRES, info->width);
-    dispi_write(VBE_DISPI_INDEX_YRES, info->height);
-    dispi_write(VBE_DISPI_INDEX_BANK, 0);
-
-    /* VGA compat setup */
-    //XXX: This probably needs some reverse engineering
-    u8 v;
-    outw(0x0011, VGAREG_VGA_CRTC_ADDRESS);
-    outw(((info->width * 4 - 1) << 8) | 0x1, VGAREG_VGA_CRTC_ADDRESS);
-    dispi_write(VBE_DISPI_INDEX_VIRT_WIDTH, info->width);
-    outw(((info->height - 1) << 8) | 0x12, VGAREG_VGA_CRTC_ADDRESS);
-    outw(((info->height - 1) & 0xff00) | 0x7, VGAREG_VGA_CRTC_ADDRESS);
-    v = inb(VGAREG_VGA_CRTC_DATA) & 0xbd;
-    if (v & 0x1)
-        v |= 0x2;
-    if (v & 0x2)
-        v |= 0x40;
-    outb(v, VGAREG_VGA_CRTC_DATA);
-
-    outw(0x9, VGAREG_VGA_CRTC_ADDRESS);
-    outb(0x17, VGAREG_VGA_CRTC_ADDRESS);
-    outb(inb(VGAREG_VGA_CRTC_DATA) | 0x3, VGAREG_VGA_CRTC_DATA);
-    v = inb(VGAREG_ACTL_RESET);
-    outw(0x10, VGAREG_ACTL_ADDRESS);
-    v = inb(VGAREG_ACTL_READ_DATA) | 0x1;
-    outb(v, VGAREG_ACTL_ADDRESS);
-    outb(0x20, VGAREG_ACTL_ADDRESS);
-    outw(0x0506, VGAREG_GRDC_ADDRESS);
-    outw(0x0f02, VGAREG_SEQU_ADDRESS);
-    if (info->depth >= 8) {
-        outb(0x14, VGAREG_VGA_CRTC_ADDRESS);
-        outb(inb(VGAREG_VGA_CRTC_DATA) | 0x40, VGAREG_VGA_CRTC_DATA);
-        v = inb(VGAREG_ACTL_RESET);
-        outw(0x10, VGAREG_ACTL_ADDRESS);
-        v = inb(VGAREG_ACTL_READ_DATA) | 0x40;
-        outb(v, VGAREG_ACTL_ADDRESS);
-        outb(0x20, VGAREG_ACTL_ADDRESS);
-        outb(0x04, VGAREG_SEQU_ADDRESS);
-        v = inb(VGAREG_SEQU_DATA) | 0x08;
-        outb(v, VGAREG_SEQU_DATA);
-        outb(0x05, VGAREG_GRDC_ADDRESS);
-        v = inb(VGAREG_GRDC_DATA) & 0x9f;
-        outb(v | 0x40, VGAREG_GRDC_DATA);
-    }
-
-    SET_BDA(vbe_mode, mode);
-}
-
-void
-vbe_clear_scr(void)
-{
-    u16 en;
-
-    en = dispi_read(VBE_DISPI_INDEX_ENABLE);
-    en &= ~VBE_DISPI_NOCLEARMEM;
-    dispi_write(VBE_DISPI_INDEX_ENABLE, en);
-}
-
-int
-vbe_hires_enabled(void)
-{
-    return dispi_read(VBE_DISPI_INDEX_ENABLE) & VBE_DISPI_ENABLED;
-}
-
-u16
-vbe_curr_mode(void)
-{
-    return GET_BDA(vbe_mode);
-}
-