Symbol: pl031_gettime
sys/arm64/arm64/pl031_rtc.c
143
DEVMETHOD(clock_gettime, pl031_gettime),
sys/arm64/arm64/pl031_rtc.c
67
static clock_gettime_t pl031_gettime;