Symbol: aux_clock_resolution_ns
kernel/time/timekeeping.c
3152
tp->tv_sec = aux_clock_resolution_ns() / NSEC_PER_SEC;
kernel/time/timekeeping.c
3153
tp->tv_nsec = aux_clock_resolution_ns() % NSEC_PER_SEC;
lib/vdso/gettimeofday.c
435
ns = aux_clock_resolution_ns();