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 9struct mm_struct; 10 11#ifdef CONFIG_VDSO 12 13void arm_install_vdso(struct mm_struct *mm, unsigned long addr); 14 15extern unsigned int vdso_total_pages; 16 17#else /* CONFIG_VDSO */ 18 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 27int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts); 28int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts); 29int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz); 30int __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