…
..
include/mach	…
Kconfig	…
Makefile	…
Makefile.boot	…
cpu.c	…
mach-smdk6440.c	…
s5p6440-gpio.c	…