/arch/arm/mach-vexpress/
../
Kconfig
Makefile
core.h
cpuidle-tc2.c
ct-ca9x4.c
hotplug-asm.S
hotplug.c
include
platsmp.c
reset.c
tc2-sleep.S
tc2_pm.c
tc2_pm_setup.S
v2m.c