vgtod.h 11 arch/x86/entry/vdso/vgetcpu.c #include <asm/vgtod.h> vgtod.h 18 arch/x86/entry/vdso/vma.c #include <asm/vgtod.h> vgtod.h 49 arch/x86/ia32/sys_ia32.c #include <asm/vgtod.h> vgtod.h 16 arch/x86/include/asm/vdso/gettimeofday.h #include <asm/vgtod.h> vgtod.h 10 arch/x86/include/asm/vdso/vsyscall.h #include <asm/vgtod.h> vgtod.h 17 arch/x86/kernel/pvclock.c #include <asm/vgtod.h> vgtod.h 20 arch/x86/kernel/tsc.c #include <asm/vgtod.h>