1 /* SPDX-License-Identifier: GPL-2.0 */
13 void arm_install_vdso(struct mm_struct
*mm
, unsigned long addr
);
15 extern char vdso_start
, vdso_end
;
17 extern unsigned int vdso_total_pages
;
19 #else /* CONFIG_VDSO */
21 static inline void arm_install_vdso(struct mm_struct
*mm
, unsigned long addr
)
25 #define vdso_total_pages 0
27 #endif /* CONFIG_VDSO */
29 #endif /* __ASSEMBLY__ */
31 #endif /* __KERNEL__ */
33 #endif /* __ASM_VDSO_H */