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 usb_init(struct device *dev)
14 printk_debug("USB: Setting up controller.. ");
15 cmd = pci_read_config32(dev, PCI_COMMAND);
16 pci_write_config32(dev, PCI_COMMAND,
17 cmd | PCI_COMMAND_IO | PCI_COMMAND_MEMORY |
18 PCI_COMMAND_MASTER | PCI_COMMAND_INVALIDATE);
21 printk_debug("done.\n");
26 static struct device_operations usb_ops = {
27 .read_resources = pci_dev_read_resources,
28 .set_resources = pci_dev_set_resources,
29 .enable_resources = pci_dev_enable_resources,
32 .enable = i82801dbm_enable,
35 static const struct pci_driver usb_driver_1 __pci_driver = {
37 .vendor = PCI_VENDOR_ID_INTEL,
38 .device = PCI_DEVICE_ID_INTEL_82801DBM_USB1,
40 static const struct pci_driver usb_driver_2 __pci_driver = {
42 .vendor = PCI_VENDOR_ID_INTEL,
43 .device = PCI_DEVICE_ID_INTEL_82801DBM_USB2,
45 static const struct pci_driver usb_driver_3 __pci_driver = {
47 .vendor = PCI_VENDOR_ID_INTEL,
48 .device = PCI_DEVICE_ID_INTEL_82801DBM_USB3,