The function
lock-locked-p
is the predicate for whether a lock is locked. Since that can change at any time, the result is reliable only if you know that the state is not going to change.
If the lock is a "sharing" lock, this checks for an exclusive lock.