tmxr_report_disconnection 1255 src/simh/sim_tmxr.c                     tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 1277 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 1964 src/simh/sim_tmxr.c     tmxr_report_disconnection (lp);         /* report disconnection */
tmxr_report_disconnection 3043 src/simh/sim_tmxr.c         tmxr_report_disconnection (lp);                 /* report disconnection */
tmxr_report_disconnection 3048 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);             /* report disconnection */