HomeFreeBSD

Use appropriate timeout_t* instead of void* in tcp_timer_activate()

Description

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

Event Timeline