diff --git a/include/vdso/helpers.h b/include/vdso/helpers.h
index 197d233667c2..a3bf4f1c0d37 100644
--- a/include/vdso/helpers.h
+++ b/include/vdso/helpers.h
@@ -6,6 +6,7 @@
 
 #include <asm/barrier.h>
 #include <vdso/datapage.h>
+#include <vdso/processor.h>
 #include <vdso/clocksource.h>
 
 static __always_inline bool vdso_is_timens_clock(const struct vdso_clock *vc)