linux/arch/arm/plat-versatile
..
include/plat
headsmp.S
Kconfig
Makefile
platsmp.c
sched-clock.c