t4_pcb_detach
t4_pcb_detach(NULL, tp);
tod->tod_pcb_detach = t4_pcb_detach;
void t4_pcb_detach(struct toedev *, struct tcpcb *);