Index: sys/dev/cxgb/cxgb_osdep.h
===================================================================
--- sys/dev/cxgb/cxgb_osdep.h
+++ sys/dev/cxgb/cxgb_osdep.h
@@ -39,6 +39,8 @@
 #include <sys/lock.h>
 #include <sys/mutex.h>
 
+#include <sys/kdb.h>
+
 #include <dev/mii/mii.h>
 
 #ifndef _CXGB_OSDEP_H_
@@ -128,10 +130,8 @@
 #define smp_mb() mb()
 
 #define L1_CACHE_BYTES 128
-extern void kdb_backtrace(void);
-
 #define WARN_ON(condition) do { \
-       if (__predict_false((condition)!=0)) {  \
+	if (__predict_false((condition)!=0)) {  \
                 log(LOG_WARNING, "BUG: warning at %s:%d/%s()\n", __FILE__, __LINE__, __FUNCTION__); \
                 kdb_backtrace(); \
         } \