1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __ASM_VDSO_H 3 #define __ASM_VDSO_H 4 5 #ifdef __KERNEL__ 6 7 #ifndef __ASSEMBLY__ 8 9 struct mm_struct; 10 11 #ifdef CONFIG_VDSO 12 13 void arm_install_vdso(struct mm_struct *mm, unsigned long addr); 14 15 extern unsigned int vdso_total_pages; 16 17 #else /* CONFIG_VDSO */ 18 arm_install_vdso(struct mm_struct * mm,unsigned long addr)19static inline void arm_install_vdso(struct mm_struct *mm, unsigned long addr) 20 { 21 } 22 23 #define vdso_total_pages 0 24 25 #endif /* CONFIG_VDSO */ 26 27 int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts); 28 int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts); 29 int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz); 30 int __vdso_clock_getres(clockid_t clock_id, struct old_timespec32 *res); 31 32 #endif /* __ASSEMBLY__ */ 33 34 #endif /* __KERNEL__ */ 35 36 #endif /* __ASM_VDSO_H */ 37