/arch/arm/mach-vexpress/
../
Kconfig
Makefile
core.h
ct-ca9x4.c
dcscb.c
dcscb_setup.S
hotplug.c
include
platsmp.c
v2m.c