kernel/arch/arm/include/asm/vdso/gettimeofday.h
.. .. @@ -7,6 +7,7 @@ 7 7 8 8 #ifndef __ASSEMBLY__ 9 9 10 +#include <asm/barrier.h>10 11 #include <asm/errno.h> 11 12 #include <asm/unistd.h> 12 13 #include <asm/vdso/cp15.h> .. .. @@ -112,7 +113,8 @@ 112 113 } 113 114 #define __arch_vdso_hres_capable arm_vdso_hres_capable 114 115 115 -static __always_inline u64 __arch_get_hw_counter(int clock_mode)116 +static __always_inline u64 __arch_get_hw_counter(int clock_mode,117 + const struct vdso_data *vd)116 118 { 117 119 #ifdef CONFIG_ARM_ARCH_TIMER 118 120 u64 cycle_now;