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