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>