Symbol: vdso_time_update_aux
include/linux/timekeeper_internal.h
201
extern void vdso_time_update_aux(struct timekeeper *tk);
kernel/time/timekeeping.c
739
vdso_time_update_aux(tk);