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 9struct mm_struct; 10 11#ifdef CONFIG_VDSO 12 13void arm_install_vdso(struct mm_struct *mm, unsigned long addr); 14 15extern unsigned int vdso_total_pages; 16 17#else /* CONFIG_VDSO */ 18 19static 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