/arch/arm/plat-versatile/

• ../
• Makefile
• headsmp.S
• hotplug.c
• include
• platsmp.c