The predicate for whether a lock is recursively locked.
lock-recursively-locked-p is the predicate for whether lock is recursively locked. Since that can change at any time, the result is reliable only if you know that the state is not going to change. For the definition of recursive locking, see the make-lock argument recursivep.
LispWorks User Guide and Reference Manual - 20 Sep 2017