unlock_ptr 1400 src/dps8/dps8_disk.c unlock_ptr (& dsk_states->dsk_lock); //-V619 unlock_ptr 1617 src/dps8/dps8_disk.c unlock_ptr (& dsk_states->dsk_lock); //-V619 unlock_ptr 96 src/dps8/threadz.h void unlock_ptr (pthread_mutex_t * lock);