kernel_optimize_test/arch/arm/mach-vexpress
..
core.h
dcscb_setup.S
dcscb.c
hotplug.c
Kconfig
Makefile
Makefile.boot
platsmp.c
spc.c
spc.h
tc2_pm.c
v2m-mps2.c
v2m.c