outw(val, VBE_DISPI_IOPORT_DATA);
}
+int bochsvga_init(u8 bus, u8 devfn);
+int bochsvga_enabled(void);
+u16 bochsvga_total_mem(void);
+int bochsvga_list_modes(u16 seg, u16 ptr);
+struct vbe_modeinfo;
+int bochsvga_mode_info(u16 mode, struct vbe_modeinfo *info);
+void bochsvga_hires_enable(int enable);
+void bochsvga_set_mode(u16 mode, struct vbe_modeinfo *info);
+void bochsvga_clear_scr(void);
+int bochsvga_hires_enabled(void);
+u16 bochsvga_curr_mode(void);
+
#endif