t4_rcvd
t4_rcvd(&toep->td->tod, intotcpcb(inp));
t4_rcvd(&toep->td->tod, tp);
tod->tod_rcvd = t4_rcvd;
void t4_rcvd(struct toedev *, struct tcpcb *);