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)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 #endif /* __ASSEMBLY__ */
28 
29 #endif /* __KERNEL__ */
30 
31 #endif /* __ASM_VDSO_H */
32