void at_dtk486_init() { at_init(); memregs_init(); mouse_serial_init(); sis85c471_init(); }
void at_sis471_init() { PCI = 0; maxide = 2; AT = 1; is386 = 1; at_init(); mouse_serial_init(); sis85c471_init(); }