ia64: don't do IA64_CMPXCHG_DEBUG without CONFIG_PRINTK
[platform/kernel/linux-rpi.git] / arch / ia64 / uv /
drwxr-xr-x   ..
-rw-r--r-- 323 Makefile
drwxr-xr-x - kernel