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 char vdso_start, vdso_end; 16 17 extern unsigned int vdso_total_pages; 18 19 #else /* CONFIG_VDSO */ 20 21 static inline void arm_install_vdso(struct mm_struct *mm, unsigned long addr) 22 { 23 } 24 25 #define vdso_total_pages 0 26 27 #endif /* CONFIG_VDSO */ 28 29 #endif /* __ASSEMBLY__ */ 30 31 #endif /* __KERNEL__ */ 32 33 #endif /* __ASM_VDSO_H */ 34