acrn-kernel/include/soc/imx
..
cpu.h
cpuidle.h
revision.h
timer.h