fbsd_thread_active = 1;

  fbsd_thread_active = 1;

  if (target_has_execution)

  if (target_has_execution)

    enable_thread_event_reporting ();

    enable_thread_event_reporting ();

  fbsd_thread_update_thread_list (NULL);

  fbsd_thread_update_thread_list (NULL);

  get_current_thread ();

  get_current_thread ();

}

}