/arch/arm/mach-vexpress/

• ../
• Kconfig
• Makefile
• Makefile.boot
• core.h
• dcscb.c
• dcscb_setup.S
• hotplug.c
• platsmp.c
• spc.c
• spc.h
• tc2_pm.c
• v2m-mps2.c
• v2m.c