--- xnu/xnu-4570.71.2/libkern/gen/OSDebug.cpp
+++ xnu/xnu-4903.221.2/libkern/gen/OSDebug.cpp
@@ -42,6 +42,7 @@
 
 #include <sys/kdebug.h>
 #include <kern/thread.h>
+
 
 extern int etext;
 __BEGIN_DECLS