original_kernel/arch/arm/mach-ux500
..
include/mach
Kconfig
Makefile
Makefile.boot
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
localtimer.c
pins-db8500.h
platsmp.c
ste-dma40-db8500.h