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;