The predicate for whether a lock is locked.
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.
LispWorks User Guide and Reference Manual - 21 Dec 2011