Symbol: vrrtc_get_timecount
sys/arch/hpcmips/vr/rtc.c
255
sc->sc_tc.tc_get_timecount = vrrtc_get_timecount;
sys/arch/hpcmips/vr/rtc.c
94
uint32_t vrrtc_get_timecount(struct timecounter *);