Merge branch 'x86-paravirt-for-linus' of git://git.kernel.org/pub/scm/linux/kernel...
[platform/kernel/linux-rpi.git] / arch / arm / mach-milbeaut /
drwxr-xr-x   ..
-rw-r--r-- 430 Kconfig
-rw-r--r-- 71 Makefile
-rw-r--r-- 3203 platsmp.c