/arch/arm/mach-vexpress/

• ../
• Kconfig
• Makefile
• Makefile.boot
• core.h
• ct-ca9x4.c
• headsmp.S
• include
• localtimer.c
• platsmp.c
• v2m.c