/arch/arm/include/asm/vdso/

• ../
• clocksource.h
• cp15.h
• gettimeofday.h
• processor.h
• vsyscall.h