kernel_optimize_test/arch/arm/mach-vexpress
..
include/mach
core.h
ct-ca9x4.c
headsmp.S
Kconfig
localtimer.c
Makefile
Makefile.boot
platsmp.c
v2m.c