Symbol: plrtc_gettime
sys/arch/evbarm/ifpga/pl030_rtc.c
108
sc->sc_todr.todr_gettime = plrtc_gettime;
sys/dev/ic/pl031.c
79
sc->sc_todr.todr_gettime = plrtc_gettime;