ipsec6_common_output
return (ipsec6_common_output(ifp, m, inp, 0, mtu));
return (ipsec6_common_output(NULL /* XXXKIB */, m, NULL, 1, 0));