tmxr_report_disconnection 1349 src/simh/sim_tmxr.c                     tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 1371 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 2058 src/simh/sim_tmxr.c     tmxr_report_disconnection (lp);         /* report disconnection */
tmxr_report_disconnection 3137 src/simh/sim_tmxr.c         tmxr_report_disconnection (lp);                 /* report disconnection */
tmxr_report_disconnection 3142 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);             /* report disconnection */