x86: Make Dell Latitude E5420 use reboot=pci
[linux-2.6/linux-acpi-2.6/ibm-acpi-2.6.git] / arch / arm / mach-s5p6442 / 
treebb5741851f313082d9760df5e64ea31596edcc7d
drwxr-xr-x   ..
-rw-r--r-- 408 Kconfig
-rw-r--r-- 473 Makefile
-rw-r--r-- 56 Makefile.boot
-rw-r--r-- 8880 clock.c
-rw-r--r-- 2479 cpu.c
-rw-r--r-- 4612 dev-audio.c
-rw-r--r-- 3039 dev-spi.c
-rw-r--r-- 2632 dma.c
drwxr-xr-x - include
-rw-r--r-- 1084 init.c
-rw-r--r-- 2418 mach-smdk6442.c
-rw-r--r-- 610 setup-i2c0.c