12 void arm_install_vdso(struct mm_struct *mm, unsigned long addr);
14 extern unsigned int vdso_total_pages;
16 #else /* CONFIG_VDSO */
18 static inline void arm_install_vdso(struct mm_struct *mm, unsigned long addr)
22 #define vdso_total_pages 0
24 #endif /* CONFIG_VDSO */
26 #endif /* __ASSEMBLY__ */
28 #endif /* __KERNEL__ */
30 #endif /* __ASM_VDSO_H */