void at_um8881f_init() { at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); um8881f_init(); }
void at_um8881f_init() { PCI = 1; maxide = 2; AT = 1; is386 = 1; at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); um8881f_init(); }