Lines Matching defs:ppsdev

44 	device_t ppsdev;
96 ppsprobe(device_t ppsdev)
98 	device_set_desc(ppsdev, "Pulse per second Timing Interface");
132 	sc->ppsdev = dev;
224 		device_t ppsdev = sc->ppsdev;
226 		if (ppb_request_bus(ppbus, ppsdev, PPB_WAIT|PPB_INTR)) {
262 		device_t ppsdev = sc->ppsdev;
269 		ppb_release_bus(ppbus, ppsdev);