Lines Matching refs:dev
44 #include <dev/pci/pcireg.h>
45 #include <dev/pci/pcivar.h>
46 #include <dev/iommu/iommu.h>
48 #include <dev/ofw/ofw_bus.h>
49 #include <dev/ofw/ofw_bus_subr.h>
51 #include <dev/iommu/iommu.h>
63 smmu_fdt_probe(device_t dev)
65 if (!ofw_bus_status_okay(dev))
68 if (ofw_bus_search_compatible(dev, compat_data)->ocd_data == 0)
71 device_set_desc(dev, "ARM System MMU (SMMU) v3");
77 smmu_fdt_attach(device_t dev)
86 sc = device_get_softc(dev);
87 sc->dev = dev;
89 node = ofw_bus_get_node(dev);
92 sc->res[0] = bus_alloc_resource_any(dev, SYS_RES_MEMORY, &rid,
95 device_printf(dev, "Can't allocate memory resource.\n");
107 device_printf(dev, "Can't get eventq IRQ.\n");
112 sc->res[1] = bus_alloc_resource_any(dev, SYS_RES_IRQ, &rid, RF_ACTIVE);
114 device_printf(dev, "Can't allocate eventq IRQ resource.\n");
128 device_printf(dev, "Can't get cmdq-sync IRQ.\n");
133 sc->res[3] = bus_alloc_resource_any(dev, SYS_RES_IRQ, &rid, RF_ACTIVE);
135 device_printf(dev, "Can't allocate cmdq-sync IRQ resource.\n");
143 device_printf(dev, "Can't get gerror IRQ.\n");
148 sc->res[4] = bus_alloc_resource_any(dev, SYS_RES_IRQ, &rid, RF_ACTIVE);
150 device_printf(dev, "Can't allocate gerror IRQ resource.\n");
155 err = smmu_attach(dev);
160 unit->dev = dev;
163 iommu->dev = dev;
172 device_printf(dev, "Failed to register SMMU.\n");
176 OF_device_register_xref(sc->xref, dev);
182 device_printf(dev,
187 smmu_detach(dev);