vdso_timer_info.h   23 arch/nds32/kernel/vdso.c #include <asm/vdso_timer_info.h>
vdso_timer_info.h   13 arch/nds32/kernel/vdso/gettimeofday.c #include <asm/vdso_timer_info.h>
vdso_timer_info.h   22 drivers/clocksource/timer-atcpit100.c #include <asm/vdso_timer_info.h>