10686 Debug macros causes smatch issues

*** 22,36 ****
  /*
   * Copyright 2004 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  
  #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.
--- 22,38 ----
  /*
   * 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
  
  /*
   * ibtl_util.h
   *
   * All data structures and function prototypes that serve as helper
   * routines for IBTF implementation.
*** 129,142 ****
                  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 &&
  #endif
  
  #define IBTF_DPRINTF_L2 ibtl_dprintf2
  #define IBTF_DPRINTF_L1 ibtl_dprintf1
  #define IBTF_DPRINTF_L0 ibtl_dprintf0
--- 131,144 ----
                  char            *fmt, ...);
  void ibtl_dprintf3(
                  char            *name,
                  char            *fmt, ...);
  #else
! #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