pun_show_device_name   68 src/dps8/dps8_crdpun.c static t_stat pun_show_device_name (FILE *st, UNIT *uptr, int val, const void *desc);
pun_show_device_name  140 src/dps8/dps8_crdpun.c       pun_show_device_name,                 /* Display routine    */