linux-stable-rt/arch/arm/mach-s3c2416
..
Kconfig
Makefile
clock.c
irq.c
mach-smdk2416.c
pm.c
s3c2416.c
setup-sdhci-gpio.c
setup-sdhci.c