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