10805 Fix for 10687 can be improved

*** 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
--- 131,144 ----
                  char            *fmt, ...);
  void ibtl_dprintf3(
                  char            *name,
                  char            *fmt, ...);
  #else
! #define IBTF_DPRINTF_LINTR(...) (void)(0)
! #define IBTF_DPRINTF_L5(...)    (void)(0)
! #define IBTF_DPRINTF_L4(...)    (void)(0)
! #define IBTF_DPRINTF_L3(...)    (void)(0)
  #endif
  
  #define IBTF_DPRINTF_L2 ibtl_dprintf2
  #define IBTF_DPRINTF_L1 ibtl_dprintf1
  #define IBTF_DPRINTF_L0 ibtl_dprintf0