Lines Matching defs:dev
39 #include <dev/fdt/fdt_common.h>
40 #include <dev/ofw/ofw_bus.h>
41 #include <dev/ofw/ofw_bus_subr.h>
57 ts_probe(device_t dev)
61 if (!ofw_bus_status_okay(dev))
64 if (!ofw_bus_is_compatible(dev, "mrvl,ts"))
71 device_printf(dev, "unsupported SoC (ID: 0x%08X)!\n", d);
74 device_set_desc(dev, "Marvell Thermal Sensor");
98 device_t dev;
103 dev = (device_t)arg1;
104 sc = device_get_softc(dev);
109 device_printf(dev, "temperature sensor is broken.\n");
127 device_printf(dev, "temperature sensor is unstable.\n");
137 ts_attach(device_t dev)
143 sc = device_get_softc(dev);
144 sc->sc_dev = dev;
145 error = bus_alloc_resources(dev, mvts_res, sc->sc_res);
147 device_printf(dev, "could not allocate resources\n");
150 ctx = device_get_sysctl_ctx(dev);
151 SYSCTL_ADD_PROC(ctx, SYSCTL_CHILDREN(device_get_sysctl_tree(dev)),
152 OID_AUTO, "temperature", CTLTYPE_INT | CTLFLAG_RD, dev,
159 ts_detach(device_t dev)