The predicate for whether a lock allows recursive locking.
lock-recursive-p is the predicate for whether the lock lock allows recursive locking (that is, whether it can be repeatedly locked by the same process).
See the make-lock argument recursivep.
lock-recursive-p does not check whether lock is currently locked recursively. The function lock-recursively-locked-p does that.
LispWorks User Guide and Reference Manual - 20 Sep 2017