1 #include <console/console.h>
2 #include <device/device.h>
3 #include <device/pci.h>
4 #include <device/pci_ids.h>
5 #include <device/pci_ops.h>
8 static void ide_init(struct device *dev)
10 printk(BIOS_SPEW, "cs5535_ide: %s\n", __func__);
13 static void ide_enable(struct device *dev)
15 printk(BIOS_SPEW, "cs5535_ide: %s\n", __func__);
18 static struct device_operations ide_ops = {
19 .read_resources = pci_dev_read_resources,
20 .set_resources = pci_dev_set_resources,
21 .enable_resources = pci_dev_enable_resources,
26 static const struct pci_driver ide_driver __pci_driver = {
28 .vendor = PCI_VENDOR_ID_NS,
29 .device = PCI_DEVICE_ID_NS_CS5535_IDE,