static void driver_init(void)
{
taddress = (struct vga_character *)0x000B8000;
gaddress = (void *)0x000A0000;
cursor.color = 0x0F;
console_initinterface(&consoleinterface, consoleinterface_wout);
video_initinterface(&videointerface, videointerface_setmode, videointerface_rdata, videointerface_wdata, videointerface_rcolormap, videointerface_wcolormap);
ctrl_setconsolesettings(&consoleinterface.settings, 1);
ctrl_setvideosettings(&videointerface.settings, 80, 25, 16);
clear(0);
}
static void driver_init(unsigned int id)
{
console_initinterface(&consoleinterface, id);
video_initinterface(&videointerface, id);
ctrl_setvideosettings(&videointerface.settings, 80, 25, 2);
clear(0);
consoleinterface.ctrl.operations.read = consoleinterface_readctrl;
consoleinterface.odata.operations.write = consoleinterface_writeodata;
videointerface.ctrl.operations.read = videointerface_readctrl;
videointerface.ctrl.operations.write = videointerface_writectrl;
videointerface.data.operations.read = videointerface_readdata;
videointerface.data.operations.write = videointerface_writedata;
videointerface.colormap.operations.read = videointerface_readcolormap;
videointerface.colormap.operations.write = videointerface_writecolormap;
}
