vdso.h

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