update_v6opt_len
(void) update_v6opt_len(d6o, sizeof (*d6so) +
boolean_t update_v6opt_len(dhcpv6_option_t *, int);