x86_64: Add vDSO for x86-64 with gettimeofday/clock_gettime/getcpu

[linux-2.6-block.git] / arch / x86_64 / kernel / time.c

diff --git a/arch/x86_64/kernel/time.c b/arch/x86_64/kernel/time.c
index 4a0895bacf5166197b0054706c7830bfe2bdf522..5405a69a1f722cabe0394fa0aafa2b7ef650c59f 100644 (file)
--- a/arch/x86_64/kernel/time.c
+++ b/arch/x86_64/kernel/time.c
@@ -44,6 +44,7 @@
 #include <asm/hpet.h>
 #include <asm/mpspec.h>
 #include <asm/nmi.h>
+#include <asm/vgtod.h>
 
 static char *timename = NULL;