/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __ASM_VDSO_H #define __ASM_VDSO_H #ifdef __KERNEL__ #define __VDSO_PAGES 4 #ifndef __ASSEMBLY__ struct mm_struct; #ifdef CONFIG_VDSO void arm_install_vdso(struct mm_struct *mm, unsigned long addr); extern unsigned int vdso_total_pages; #else /* CONFIG_VDSO */ static inline void arm_install_vdso(struct mm_struct *mm, unsigned long addr) { } #define vdso_total_pages 0 #endif /* CONFIG_VDSO */ #endif /* __ASSEMBLY__ */ #endif /* __KERNEL__ */ #endif /* __ASM_VDSO_H */