Symbol: tcp_push_timer
usr/src/uts/common/inet/tcp/tcp_fusion.c
764
tcp_push_timer, tcps->tcps_push_timer_interval);
usr/src/uts/common/inet/tcp/tcp_input.c
4993
tcp_push_timer,
usr/src/uts/common/inet/tcp_impl.h
768
extern void tcp_push_timer(void *);