va_end           4543 src/dps8/dps8_cpu.c             va_end (arglist);
va_end            312 src/dps8/hdbg.c   va_end (arglist);
va_end            184 src/dps8/libtelnet.c         va_end(va);
va_end           1168 src/dps8/libtelnet.c                         va_end(va2);
va_end           1173 src/dps8/libtelnet.c         va_end(va2);
va_end           1174 src/dps8/libtelnet.c         va_end(va);
va_end           1218 src/dps8/libtelnet.c         va_end(va);
va_end           1238 src/dps8/libtelnet.c                         va_end(va2);
va_end           1243 src/dps8/libtelnet.c         va_end(va2);
va_end           1244 src/dps8/libtelnet.c         va_end(va);
va_end           1264 src/dps8/libtelnet.c         va_end(va);
va_end           9879 src/simh/scp.c     va_end (arglist);
va_end           9933 src/simh/scp.c     va_end (arglist);
va_end           10008 src/simh/scp.c         va_end (arglist);
va_end           10169 src/simh/scp.c va_end (args);
va_end           10987 src/simh/scp.c va_end (ap);
va_end           3469 src/simh/sim_tmxr.c va_end (arglist);