lock_ptr 1233 src/dps8/dps8_disk.c lock_ptr (& dsk_states->dsk_lock); //-V619 lock_ptr 95 src/dps8/threadz.h void lock_ptr (pthread_mutex_t * lock);