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

@@ -22,11 +22,13 @@
 /*
  * Copyright 2005 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
 
-#pragma ident   "%Z%%M% %I%     %E% SMI"
+/*
+ * 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,11 +489,10 @@
         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