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

 
 1#ifndef __ASM_VDSO_H
 2#define __ASM_VDSO_H
 3
 4#ifdef __KERNEL__
 5
 6#ifndef __ASSEMBLY__
 7
 8struct mm_struct;
 9
10#ifdef CONFIG_VDSO
11
12void arm_install_vdso(struct mm_struct *mm, unsigned long addr);
13
14extern char vdso_start, vdso_end;
15
16extern unsigned int vdso_total_pages;
17
18#else /* CONFIG_VDSO */
19
20static inline void arm_install_vdso(struct mm_struct *mm, unsigned long addr)
21{
22}
23
24#define vdso_total_pages 0
25
26#endif /* CONFIG_VDSO */
27
28#endif /* __ASSEMBLY__ */
29
30#endif /* __KERNEL__ */
31
32#endif /* __ASM_VDSO_H */