addrname
extern char *addrname(naddr, naddr, int);
addrname(ifs.int_addr,ifs.int_mask,1),
addrname(ifp->int_addr,ifp->int_mask,1),
addrname(htonl(ifp->int_net),
addrname(htonl(ifp1->int_net),
addrname(dst,mask,0));
addrname(dst,mask,0),
addrname(htonl(dst_h), mask,
addrname(k->k_dst, k->k_mask, 0),
addrname(S_ADDR(INFO_DST(&info)), mask, 0));
addrname(k->k_dst, k->k_mask, 0),
addrname(k->k_dst, k->k_mask, 0),
addrname(k->k_dst, k->k_mask, 0),
addrname(S_ADDR(INFO_DST(info)), mask, 0),
addrname(n->n_dst,
i = snprintf(buf, sizeof(buf), "%-16s-->", addrname(dst, mask, 0));
addrname(((ifp->int_if_flags & IFF_POINTOPOINT)
addrname(n->n_dst,
| TUNNEL interface addrname {
| NETMASK addrname {
addrname : ADDR { $$ = $1; }
%type <addr> interface addrname