Defined in 1 files as a config:

• lib/vdso/Kconfig, line 14 (as a config)

Referenced in 4 files:

• arch/x86/Kconfig, line 185
• include/vdso/datapage.h, line 97
• kernel/time/vsyscall.c, line 21
• lib/vdso/gettimeofday.c, line 41