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