Searched defs:ps_name (Results 1 – 1 of 1) sorted by relevance
4879 char *ps_name = "$ctors"; in vms_write_object_file() local4891 char *ps_name = "$dtors"; in vms_write_object_file() local