unlock_ptr 1396 src/dps8/dps8_disk.c unlock_ptr (& dsk_states->dsk_lock); //-V619 unlock_ptr 1614 src/dps8/dps8_disk.c unlock_ptr (& dsk_states->dsk_lock); //-V619 unlock_ptr 99 src/dps8/threadz.h void unlock_ptr (pthread_mutex_t * lock);