…
..
include/mach
generic.h
headsmp.S
hotplug.c
Kconfig
Makefile
Makefile.boot
pl080.c
pl080.h
platsmp.c
restart.c
spear3xx.c
spear6xx.c
spear13xx.c
spear300.c
spear310.c
spear320.c
spear1310.c
spear1340.c
time.c