vgtod.h   48 arch/x86/ia32/sys_ia32.c #include <asm/vgtod.h>
vgtod.h   24 arch/x86/kernel/time_64.c #include <asm/vgtod.h>
vgtod.h   15 arch/x86/kernel/tsc.c #include <asm/vgtod.h>
vgtod.h   43 arch/x86/kernel/vsyscall_64.c #include <asm/vgtod.h>
vgtod.h   17 arch/x86/vdso/vclock_gettime.c #include <asm/vgtod.h>
vgtod.h   13 arch/x86/vdso/vgetcpu.c #include <asm/vgtod.h>
vgtod.h   12 arch/x86/vdso/vma.c #include <asm/vgtod.h>
vgtod.h    9 arch/x86/vdso/vvar.c #include <asm/vgtod.h>