tcp6_ctlinput_with_port
tcp6_ctlinput_with_port(ctl, htons(0));
tcp6_ctlinput_with_port(ip6cp, port);