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