taglinefilesource code
tcp_write1155net/inet/tcp.creturn(tcp_write(sk, from, len, nonblock, flags));
tcp_write4042net/inet/tcp.ctcp_write,