the target, in case it need to override to_open. */
extern void inf_child_open_target (struct target_ops *target,
- char *arg, int from_tty);
+ const char *arg, int from_tty);
+
+/* To be called by the native target's to_mourn_inferior routine. */
+
+extern void inf_child_mourn_inferior (struct target_ops *ops);
/* Unpush the target if it wasn't explicitly open with "target native"
and there are no live inferiors left. Note: if calling this as a