rtc_dev            40 usr/test/time/time.c 	device_t rtc_dev;
rtc_dev            45 usr/test/time/time.c 	error = device_open("rtc", 0, &rtc_dev);
rtc_dev            51 usr/test/time/time.c 	error = device_read(rtc_dev, &sec, &len, 0);
rtc_dev            54 usr/test/time/time.c 		device_close(rtc_dev);
rtc_dev            57 usr/test/time/time.c 	device_close(rtc_dev);