INP_LOCK_ASSERT
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(tptoinpcb(tp));
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(tptoinpcb(tp));
INP_LOCK_ASSERT(tptoinpcb(tp));
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(tptoinpcb(tp));
INP_LOCK_ASSERT(tptoinpcb(tp));
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(tptoinpcb(listening_tcb));
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(tptoinpcb(tp));
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(old);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);
INP_LOCK_ASSERT(inp);