Lines Matching defs:dev
48 #include <dev/ofw/openfirm.h>
49 #include <dev/ofw/ofw_bus.h>
50 #include <dev/ofw/ofw_bus_subr.h>
70 arm_tmr_probe(device_t dev)
73 if (!ofw_bus_status_okay(dev))
76 if (!ofw_bus_is_compatible(dev, "exynos,mct"))
79 device_set_desc(dev, "Exynos MPCore Timer");
84 arm_tmr_attach(device_t dev)
90 sc = device_get_softc(dev);
92 if (bus_alloc_resources(dev, arm_tmr_spec, sc->tmr_res)) {
93 device_printf(dev, "could not allocate resources\n");