Symbol: plrtc_gettime
sys/arch/evbarm/ifpga/pl030_rtc.c
68
plrtc_gettime(todr_chip_handle_t todr, struct timeval *tv)
sys/dev/ic/pl031.c
53
plrtc_gettime(todr_chip_handle_t tch, struct timeval *tv)