mtx_recursed
printf("rw lock: recursed %d\n", mtx_recursed(&sc->rw));\
if (mtx_recursed(m)) {
if (mtx_recursed(m))
if (mtx_recursed((mp))) \