tmxr_report_disconnection 1343 src/simh/sim_tmxr.c                     tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 1367 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 2054 src/simh/sim_tmxr.c     tmxr_report_disconnection (lp);         /* report disconnection */
tmxr_report_disconnection 3140 src/simh/sim_tmxr.c         tmxr_report_disconnection (lp);                 /* report disconnection */
tmxr_report_disconnection 3145 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);             /* report disconnection */