…
..
include/mach
board-mop500.c
board-u5500.c
clock.c
clock.h
cpu-db5500.c
cpu-db8500.c
cpu.c
devices-db5500.c
devices-db8500.c
devices.c
headsmp.S
Kconfig
localtimer.c
Makefile
Makefile.boot
pins-db8500.h
platsmp.c
ste-dma40-db8500.h