ip_plen_to_mask_v6
if (ip_plen_to_mask_v6(plen, &mask) == NULL) {
static in6_addr_t *ip_plen_to_mask_v6(int, in6_addr_t *);
(void) ip_plen_to_mask_v6(16, &ipif->ipif_v6net_mask);
(void) ip_plen_to_mask_v6(IPV6_LL_PREFIXLEN, &ipif->ipif_v6net_mask);
(void) ip_plen_to_mask_v6(i, &tmpmask);
if (ip_plen_to_mask_v6(addrlen, &v6mask) == NULL)
(void) ip_plen_to_mask_v6(addrlen, &v6mask);
if (ip_plen_to_mask_v6(IPV6_ABITS - addrlen, &v6mask) == NULL)
(void) ip_plen_to_mask_v6(IPV6_ABITS - addrlen, &v6mask);
if (ip_plen_to_mask_v6(addr->sadb_address_prefixlen,
extern in6_addr_t *ip_plen_to_mask_v6(uint_t, in6_addr_t *);