K 10
svn:author
V 7
rwatson
K 8
svn:date
V 27
2004-07-12T19:28:07.000000Z
K 7
svn:log
V 91
After each label in tcp_input(), assert the inpcbinfo and inpcb lock
state that we expect.

END