/kernel/include/soc/imx/

• ../
• revision.h
• timer.h