…
..
include/mach	…
Kconfig	…
Makefile	…
Makefile.boot	…
clock.c	…
cpu.c	…
headsmp.S	…
init.c	…
irq-combiner.c	…
localtimer.c	…
mach-smdkv310.c	…
mach-universal_c210.c	…
platsmp.c	…
setup-i2c0.c	…
setup-i2c1.c	…
setup-i2c2.c	…
time.c	…