The function lock-locked-p
is the predicate for whether 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 lock is a "sharing" lock, this checks whether it is locked exclusively.
LispWorks User Guide and Reference Manual - 20 Sep 2017