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