debug.h: merge both instances into ihk/debug.h

We do not need two debug.h files.

Take Fujitsu's STATIC_ASSERT over BUILD_BUG_ON because it is more used

Change-Id: If04c17fbb7406ab15fe86267fed8d6da460cec62
Fujitsu: POSTK_DEBUG_ARCH_DEP_9

arch/arm64/kernel/cpu.c

@@ -1,6 +1,5 @@
 /* cpu.c COPYRIGHT FUJITSU LIMITED 2015-2018 */
 #include <ihk/cpu.h>
-#include <ihk/debug.h>
 #include <ihk/mm.h>
 #include <types.h>
 #include <errno.h>
@@ -30,7 +29,7 @@
 #include <debug-monitors.h>
 #include <sysreg.h>
 #include <cpufeature.h>
-#include <debug.h>
+#include <ihk/debug.h>
 #include <hwcap.h>
 #include <virt.h>
 

arch/arm64/kernel/debug-monitors.c

@@ -2,7 +2,6 @@
 #include <cputype.h>
 #include <irqflags.h>
 #include <ihk/context.h>
-#include <ihk/debug.h>
 #include <signal.h>
 #include <errno.h>
 #include <debug-monitors.h>

arch/arm64/kernel/fpsimd.c

@@ -9,7 +9,7 @@
 #include <prctl.h>
 #include <cpufeature.h>
 #include <kmalloc.h>
-#include <debug.h>
+#include <ihk/debug.h>
 #include <process.h>
 #include <bitmap.h>
 

arch/arm64/kernel/include/traps.h

@@ -4,6 +4,7 @@
 #define __ASM_TRAP_H
 
 #include <types.h>
+#include <arch-lock.h>
 
 struct pt_regs;
 

arch/arm64/kernel/irq-gic-v2.c

@@ -7,7 +7,7 @@
 #include <memory.h>
 #include <affinity.h>
 #include <syscall.h>
-#include <debug.h>
+#include <ihk/debug.h>
 #include <arch-timer.h>
 #include <cls.h>
 

arch/arm64/kernel/irq-gic-v3.c

@@ -6,7 +6,7 @@
 #include <cputype.h>
 #include <process.h>
 #include <syscall.h>
-#include <debug.h>
+#include <ihk/debug.h>
 #include <arch-timer.h>
 #include <cls.h>
 

arch/arm64/kernel/memory.c

@@ -1,6 +1,5 @@
 /* memory.c COPYRIGHT FUJITSU LIMITED 2015-2018 */
 #include <ihk/cpu.h>
-#include <ihk/debug.h>
 #include <ihk/mm.h>
 #include <types.h>
 #include <memory.h>
@@ -14,7 +13,7 @@
 #include <context.h>
 #include <kmalloc.h>
 #include <vdso.h>
-#include <debug.h>
+#include <ihk/debug.h>
 #include <rusage_private.h>
 #include <cputype.h>
 

arch/arm64/kernel/perfctr_armv8pmu.c

@@ -4,7 +4,6 @@
 #include <ihk/perfctr.h>
 #include <errno.h>
 #include <ihk/debug.h>
-#include <debug.h>
 #include <sysreg.h>
 #include <virt.h>
 #include <bitops.h>

arch/arm64/kernel/psci.c

@@ -18,10 +18,9 @@
 #include <psci.h>
 #include <errno.h>
 #include <ihk/types.h>
-#include <ihk/debug.h>
 #include <compiler.h>
 #include <lwk/compiler.h>
-#include <debug.h>
+#include <ihk/debug.h>
 
 //#define DEBUG_PRINT_PSCI
 

arch/arm64/kernel/ptrace.c

@@ -11,8 +11,8 @@
 #include <hwcap.h>
 #include <string.h>
 #include <thread_info.h>
-#include <debug.h>
 #include <ptrace.h>
+#include <ihk/debug.h>
 
 //#define DEBUG_PRINT_SC
 

arch/arm64/kernel/syscall.c

@@ -15,7 +15,7 @@
 #include <limits.h>
 #include <uio.h>
 #include <syscall.h>
-#include <debug.h>
+#include <ihk/debug.h>
 
 void terminate_mcexec(int, int);
 extern void ptrace_report_signal(struct thread *thread, int sig);

arch/arm64/kernel/timer.c

@@ -8,7 +8,7 @@
 #include <cputype.h>
 #include <irq.h>
 #include <arch-timer.h>
-#include <debug.h>
+#include <ihk/debug.h>
 
 //#define DEBUG_PRINT_TIMER
 

arch/arm64/kernel/vdso.c

@@ -11,10 +11,9 @@
 #include <process.h>
 #include <string.h>
 #include <syscall.h>
-#include <ihk/debug.h>
 #include <ikc/queue.h>
 #include <vdso.h>
-#include <debug.h>
+#include <ihk/debug.h>
 
 //#define DEBUG_PRINT_VDSO