Lines Matching refs:dev
50 #include <dev/usb/usb.h>
51 #include <dev/usb/usbdi.h>
53 #include <dev/usb/usb_core.h>
54 #include <dev/usb/usb_busdma.h>
55 #include <dev/usb/usb_process.h>
56 #include <dev/usb/usb_util.h>
58 #include <dev/usb/usb_controller.h>
59 #include <dev/usb/usb_bus.h>
60 #include <dev/usb/usb_pci.h>
61 #include <dev/usb/controller/xhci.h>
63 #include <dev/ofw/openfirm.h>
64 #include <dev/ofw/ofw_bus.h>
65 #include <dev/ofw/ofw_bus_subr.h>
75 bcm_xhci_probe(device_t dev)
80 device_id = pci_get_devid(dev);
103 if (pci_get_bus(dev) != 1 || pci_get_slot(dev) != 0 ||
104 pci_get_function(dev) != 0 )
107 device_set_desc(dev,
114 bcm_xhci_check_firmware(device_t dev, bool expect_loaded)
119 revision = pci_read_config(dev, VL805_FIRMWARE_REG, 4);
123 device_printf(dev, "warning: xhci firmware not found.\n");
125 device_printf(dev, "note: xhci firmware not found.\n");
127 device_printf(dev,
138 bcm_xhci_install_xhci_firmware(device_t dev)
143 revision = bcm_xhci_check_firmware(dev, false);
158 device_printf(dev, "note: installing xhci firmware.\n");
161 pci_get_bus(dev) << PCIE_BUS_SHIFT |
162 pci_get_slot(dev) << PCIE_SLOT_SHIFT |
163 pci_get_function(dev) << PCIE_FUNC_SHIFT;
167 device_printf(dev,
172 bcm_xhci_check_firmware(dev, true);
178 bcm_xhci_attach(device_t dev)
183 sc = device_get_softc(dev);
185 bcm_xhci_install_xhci_firmware(dev);
187 error = xhci_pci_attach(dev);
194 device_printf(dev, "note: switched to 32-bit DMA.\n");