ip_massage_options_v6
cksum = ip_massage_options_v6(ip6h, rth, ns);
extern uint32_t ip_massage_options_v6(ip6_t *, ip6_rthdr_t *, netstack_t *);
(void) ip_massage_options_v6(ip6h, rth,