dsk_lock          687 src/dps8/dps8_disk.c         pthread_mutex_init (& dsk_states[i].dsk_lock, & scu_attr);
dsk_lock          689 src/dps8/dps8_disk.c         pthread_mutex_init (& dsk_states[i].dsk_lock, NULL);
dsk_lock         1233 src/dps8/dps8_disk.c   lock_ptr (& dsk_states->dsk_lock); //-V619
dsk_lock         1400 src/dps8/dps8_disk.c           unlock_ptr (& dsk_states->dsk_lock); //-V619
dsk_lock         1617 src/dps8/dps8_disk.c   unlock_ptr (& dsk_states->dsk_lock); //-V619
dsk_lock           42 src/dps8/dps8_disk.h     pthread_mutex_t dsk_lock;