tcp_fastopen_decrement_counter
void tcp_fastopen_decrement_counter(unsigned int *);
tcp_fastopen_decrement_counter(tp->t_tfo_pending);
tcp_fastopen_decrement_counter(tp->t_tfo_pending);
tcp_fastopen_decrement_counter(tp->t_tfo_pending);
tcp_fastopen_decrement_counter(tp->t_tfo_pending);
tcp_fastopen_decrement_counter(tfo_pending);