Searched refs:detach_hook (Results 1 – 5 of 5) sorted by relevance
293 detach_hook = tui_detach_hook; in tui_install_hooks()306 detach_hook = 0; in tui_remove_hooks()
1882 if (detach_hook) in detach_command()1883 detach_hook (); in detach_command()1902 if (detach_hook) in disconnect_command()1903 detach_hook (); in disconnect_command()
1240 extern void (*detach_hook) (void);
1561 if (detach_hook) in generic_mourn_inferior()1562 detach_hook (); in generic_mourn_inferior()
248 void (*detach_hook) (void); variable