Symbol: __tx39timer_rtcget
sys/arch/hpcmips/tx/tx39clock.c
152
__tx39timer_rtcget(&t0);
sys/arch/hpcmips/tx/tx39clock.c
167
__tx39timer_rtcget(&t1);
sys/arch/hpcmips/tx/tx39clock.c
300
__tx39timer_rtcget(&t);
sys/arch/hpcmips/tx/tx39clock.c
94
void __tx39timer_rtcget(struct txtime *);