lockmgr_xlocked
if (lockmgr_xlocked(lk) && lockmgr_recursed(lk)) {
if (lockmgr_xlocked(lk)) {
if (lockmgr_xlocked(lk) && lockmgr_recursed(lk))
(!lockmgr_xlocked(lk) && !lockmgr_disowned(lk)))))
if (!lockmgr_xlocked(lk) && !lockmgr_disowned(lk))
if (lockmgr_xlocked(lk) || lockmgr_disowned(lk))
if (lockmgr_xlocked(lk)) {