vgabios: Make VBE code depend on a config setting.

[seabios.git] / vgasrc / vgabios.h

diff --git a/vgasrc/vgabios.h b/vgasrc/vgabios.h
index a10198d3d58cee0189adb0b6eaf203237db4b1f7..403e7ce905f9910eeaf5bcdccc76d564440798bb 100644 (file)
--- a/vgasrc/vgabios.h
+++ b/vgasrc/vgabios.h
@@ -93,7 +93,6 @@ void vgafb_write_pixel(u8 color, u16 x, u16 y);
 u8 vgafb_read_pixel(u16 x, u16 y);
 
 // vbe.c
-int VBE_enabled;
 u32 VBE_total_memory;
 u32 VBE_capabilities;
 u32 VBE_framebuffer;