diff --git a/include/vdso/datapage.h b/include/vdso/datapage.h
index 7ba44379a095ebad4c23abe4e937063cce992955..5d5c0b8efff2d44be1c29c66a9c914ed03d5b95f 100644
--- a/include/vdso/datapage.h
+++ b/include/vdso/datapage.h
@@ -19,7 +19,11 @@
 #include <vdso/time32.h>
 #include <vdso/time64.h>
 
+#ifdef CONFIG_ARM64
+#include <asm/page-def.h>
+#else
 #include <asm/page.h>
+#endif
 
 #ifdef CONFIG_ARCH_HAS_VDSO_DATA
 #include <asm/vdso/data.h>