[IA64] use mprintk instead of printk, in ia64_mca_modify_original_stack
[linux-2.6] / arch / arm / plat-s3c /
drwxr-xr-x   ..
-rw-r--r-- 2972 Kconfig
-rw-r--r-- 91 Makefile
drwxr-xr-x - include