core_kd = temp_kd;
push_target (&bsd_kvm_ops);
- add_thread_silent (bsd_kvm_ptid);
+ add_thread_silent (&bsd_kvm_ops, bsd_kvm_ptid);
inferior_ptid = bsd_kvm_ptid;
target_fetch_registers (get_current_regcache (), -1);
}
inferior_ptid = null_ptid;
- discard_all_inferiors ();
+ exit_inferior_silent (current_inferior ());
}
static LONGEST