Symbol: TC_AGTIMER_SUN50I
lib/libc/arch/aarch64/gen/usertc.c
65
case TC_AGTIMER_SUN50I:
sys/arch/arm64/dev/agtimer.c
204
agtimer_timecounter.tc_user = TC_AGTIMER_SUN50I;