INP_RLOCK_ASSERT
INP_RLOCK_ASSERT(lctx->inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp); /* listen socket */
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(inp);
INP_RLOCK_ASSERT(pcb);
INP_RLOCK_ASSERT(inp);