void at_i430vx_init() { at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); i430vx_init(); piix_init(7); um8669f_init(); }
void at_i430vx_init() { at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0, 31); i430vx_init(); piix3_init(7); um8669f_init(); device_add(&intel_flash_bxt_device); }
void at_endeavor_init() { at_init(); mouse_serial_init(); pci_init(PCI_CONFIG_TYPE_1, 0xd, 0x10); i430fx_init(); piix_init(7); um8669f_init(); intel_endeavor_init(); device_add(&intel_flash_device); }