Symbol: tcps_push_timer_interval
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
4994
tcps->tcps_push_timer_interval);