/arch/arm/plat-versatile/

• ../
• Kconfig
• Makefile
• headsmp.S
• include
• platsmp.c
• sched-clock.c