tcp_fastopen_alloc_counter
unsigned int *tcp_fastopen_alloc_counter(void);
tcp_fastopen_alloc_counter();
tp->t_tfo_pending = tcp_fastopen_alloc_counter();