rtc_gettime        69 kern/dev/generic/rtclock.c 	the_clock->rtc_gettime(the_clock->rtc_devdata, secs, nsecs);
rtc_gettime        41 kern/dev/generic/rtclock.h 	void (*rtc_gettime)(void *devdata, time_t *secs, uint32_t *nsecs);
rtc_gettime        63 kern/dev/lamebus/rtclock_ltimer.c 	rtc->rtc_gettime = ltimer_gettime;