INP_WLOCK_ASSERT
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(toep->inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(new_inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(synqe->lctx->inp);
INP_WLOCK_ASSERT(synqe->lctx->inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(tptoinpcb(ccv->tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(sotoinpcb(so));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(tptoinpcb(tp));
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(new);
INP_WLOCK_ASSERT(inp);
INP_WLOCK_ASSERT(inp);