pun_set_device_name   70 src/dps8/dps8_crdpun.c static t_stat pun_set_device_name (UNIT * uptr, int32 value, const char * cptr, void * desc);
pun_set_device_name  140 src/dps8/dps8_crdpun.c       pun_set_device_name,                  /* Validation routine */