K 10
svn:author
V 3
jch
K 8
svn:date
V 27
2015-03-31T10:17:13.716342Z
K 7
svn:log
V 186
Use appropriate timeout_t* instead of void* in tcp_timer_activate()

Suggested by:		imp
Differential Revision:	https://reviews.freebsd.org/D2154
Reviewed by:		imp, jhb
Approved by:		jhb

END