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