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 */