tmxr_report_disconnection 1334 src/simh/sim_tmxr.c                     tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 1358 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);     /* report closure */
tmxr_report_disconnection 2045 src/simh/sim_tmxr.c     tmxr_report_disconnection (lp);         /* report disconnection */
tmxr_report_disconnection 3131 src/simh/sim_tmxr.c         tmxr_report_disconnection (lp);                 /* report disconnection */
tmxr_report_disconnection 3136 src/simh/sim_tmxr.c             tmxr_report_disconnection (lp);             /* report disconnection */