prt_set_device_name   86 src/dps8/dps8_prt.c static t_stat prt_set_device_name (UNIT * uptr, int32 value, const char * cptr, void * desc);
prt_set_device_name  189 src/dps8/dps8_prt.c       prt_set_device_name,                        /* Validation routine */