board-loki: change touch platform id
[linux-3.10.git] / arch / arm / mach-socfpga /
drwxr-xr-x ..
-rw-r--r-- Kconfig
-rw-r--r-- Makefile
-rw-r--r-- core.h
-rw-r--r-- headsmp.S
-rw-r--r-- platsmp.c
-rw-r--r-- socfpga.c