10686 Debug macros causes smatch issues

@@ -22,15 +22,17 @@
 /*
  * Copyright 2004 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
 
+/*
+ * Copyright 2019, Joyent, Inc.
+ */
+
 #ifndef _SYS_IB_IBTL_IMPL_IBTL_UTIL_H
 #define _SYS_IB_IBTL_IMPL_IBTL_UTIL_H
 
-#pragma ident   "%Z%%M% %I%     %E% SMI"
-
 /*
  * ibtl_util.h
  *
  * All data structures and function prototypes that serve as helper
  * routines for IBTF implementation.

@@ -129,14 +131,14 @@
                 char            *fmt, ...);
 void ibtl_dprintf3(
                 char            *name,
                 char            *fmt, ...);
 #else
-#define IBTF_DPRINTF_LINTR      0 &&
-#define IBTF_DPRINTF_L5         0 &&
-#define IBTF_DPRINTF_L4         0 &&
-#define IBTF_DPRINTF_L3         0 &&
+#define IBTF_DPRINTF_LINTR(...)
+#define IBTF_DPRINTF_L5(...)
+#define IBTF_DPRINTF_L4(...)
+#define IBTF_DPRINTF_L3(...)
 #endif
 
 #define IBTF_DPRINTF_L2 ibtl_dprintf2
 #define IBTF_DPRINTF_L1 ibtl_dprintf1
 #define IBTF_DPRINTF_L0 ibtl_dprintf0