/linux/include/config/arm/arch/

• ../
• timer.h
• timer