tcp_stack_cpu_add
tcp_stack_cpu_add(ns->netstack_tcp, cpu_seqid);
extern void tcp_stack_cpu_add(tcp_stack_t *, processorid_t);