linux-stable/arch/arm/plat-versatile
..
include/plat
headsmp.S
hotplug.c
Makefile
platsmp.c