10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>

*** 22,32 ****
  /*
   * Copyright 2005 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  
! #pragma ident   "%Z%%M% %I%     %E% SMI"
  
  /*
   * s1394_dev_disc.c
   *    1394 Services Layer Device Discovery Routines
   *    This file contains the bus reset thread code, bus manager routines and
--- 22,34 ----
  /*
   * Copyright 2005 Sun Microsystems, Inc.  All rights reserved.
   * Use is subject to license terms.
   */
  
! /*
!  * Copyright 2019 Joyent, Inc.
!  */
  
  /*
   * s1394_dev_disc.c
   *    1394 Services Layer Device Discovery Routines
   *    This file contains the bus reset thread code, bus manager routines and
*** 487,497 ****
          CALLB_CPR_EXIT(&hal->hal_cprinfo);
  #endif
          hal->br_thread_ev_type &= ~BR_THR_GO_AWAY;
          thread_exit();
          /*NOTREACHED*/
-         TNF_PROBE_0(s1394_br_thread_exit_enter, S1394_TNF_SL_HOTPLUG_STACK, "");
  }
  
  /*
   * s1394_target_bus_reset_notifies()
   *    tells the ndi event framework to invoke any callbacks registered for
--- 489,498 ----