arch/arm/include/asm/vdso.h

   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
  19 static 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 */