189
175
register_ioport_read(0xcfc, 4, 2, pci_host_data_readw, s);
190
176
register_ioport_read(0xcfc, 4, 4, pci_host_data_readl, s);
192
d = pci_register_device(b, "i440FX", sizeof(PCIDevice), 0,
178
d = pci_register_device(b, "i440FX", sizeof(PCIDevice), 0,
193
179
NULL, i440fx_write_config);
195
181
d->config[0x00] = 0x86; // vendor_id