fnp_rcd_line_disconnected 1714 src/dps8/dps8_fnp2.c                 fnp_rcd_line_disconnected ((uint)mbx, (int) fnp_unit_idx, lineno);
fnp_rcd_line_disconnected 1722 src/dps8/dps8_fnp2.c                 fnp_rcd_line_disconnected ((uint)mbx, (int) fnp_unit_idx, lineno);