// vgabios.c
extern int VgaBDF;
+extern int HaveRunInit;
#define SET_VGA(var, val) SET_FARVAR(get_global_seg(), (var), (val))
struct carattr {
u8 car, attr, use_attr;
};
int vga_bpp(struct vgamode_s *vmode_g);
u16 calc_page_size(u8 memmodel, u16 width, u16 height);
+void save_bda_state(u16 seg, struct saveBDAstate *info);
+void restore_bda_state(u16 seg, struct saveBDAstate *info);
struct vgamode_s *get_current_mode(void);
int vga_set_mode(int mode, int flags);
u8 vgafb_read_pixel(u16 x, u16 y);
// vbe.c
-u32 VBE_total_memory;
-u32 VBE_capabilities;
-u32 VBE_framebuffer;
-u16 VBE_win_granularity;
+extern u32 VBE_total_memory;
+extern u32 VBE_capabilities;
+extern u32 VBE_framebuffer;
+extern u16 VBE_win_granularity;
#define VBE_OEM_STRING "SeaBIOS VBE(C) 2011"
#define VBE_VENDOR_STRING "SeaBIOS Developers"
#define VBE_PRODUCT_STRING "SeaBIOS VBE Adapter"