vdso: Use CONFIG_PAGE_SHIFT in vdso/datapage.h
[sfrench/cifs-2.6.git] / arch / powerpc / include / asm / vdso / gettimeofday.h
index f0a4cf01e85c0312ee4b1350c0024f975a0b8120..78302f6c258006471bb4ba3dfb1f186c0137ef66 100644 (file)
@@ -4,7 +4,6 @@
 
 #ifndef __ASSEMBLY__
 
-#include <asm/page.h>
 #include <asm/vdso/timebase.h>
 #include <asm/barrier.h>
 #include <asm/unistd.h>
@@ -95,7 +94,7 @@ const struct vdso_data *__arch_get_vdso_data(void);
 static __always_inline
 const struct vdso_data *__arch_get_timens_vdso_data(const struct vdso_data *vd)
 {
-       return (void *)vd + PAGE_SIZE;
+       return (void *)vd + (1U << CONFIG_PAGE_SHIFT);
 }
 #endif