// $Copyright$
//
// $Id: recvNsInvalid.def,v 1.1.1.1 2000/10/31 22:39:03 sekiya Exp $

#include "nd.def"

//----------------------------------------------------------------------
// unicast NS
//	TN(link-local) ==> NUT(link-local)
//	target=all-node multicast
//	w/ SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(ucast_ns_tgt_mcast, _HETHER_tn2nut,
	{
	 _SRC(tnv6());
	 _DST(nutv6());
	 HopLimit=255;
	},
	{
	 TargetAddress=v6(_ALLNODES_MCAST_ADDR);
	 option=_SLLOPT_tn;
	}
)

//----------------------------------------------------------------------
// unicast NS
//	unspecified ==> NUT(link-local)
//	target=NUT(link-local)
//----------------------------------------------------------------------
FEM_icmp6_ns(ucast_ns_unspec, _HETHER_tn2nut,
	{
	 _SRC(v6(_UNSPEC_ADDR));
	 _DST(nutv6());
	 HopLimit=255;
	},
	{
	 TargetAddress=nutv6();
	}
)

//----------------------------------------------------------------------
// multicast NS
//	unspecified ==> NUT(solicited-node[link-local])
//	target=NUT(link-local)
//	w/ SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(mcast_ns_unspec_sll, _HETHER_tn2nutsolnode,
	{
	 _SRC(v6(_UNSPEC_ADDR));
	 _DST(_IPV6_SOLNODE_MCAST(nutv6()));
	 HopLimit=255;
	},
	{
	 TargetAddress=nutv6();
	 option=_SLLOPT_tn;
	}
)

//----------------------------------------------------------------------
// multicast NS
//	TN(link-local) ==> NUT(solicited-node[link-local])
//	target=NUT(link-local)
//----------------------------------------------------------------------
FEM_icmp6_ns(mcast_ns_solnode_wo_sll, _HETHER_tn2nutsolnode,
	{
	 _SRC(tnv6());
	 _DST(_IPV6_SOLNODE_MCAST(nutv6()));
	 HopLimit=255;
	},
	{
	 TargetAddress=nutv6();
	}
)

//----------------------------------------------------------------------
// multicast NS
//	NUT(link-local) ==> TN(solicited-node[link-local])
//	target=TN(link-local)
//	w/ SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(mcast_ns_from_nut, _HETHER_nut2tnsolnode,
	{
	 _SRC(nutv6());
	 _DST(_IPV6_SOLNODE_MCAST(tnv6()));
	 HopLimit=255;
	},
	{
	 TargetAddress=tnv6();
	 option=_SLLOPT_nut;
	}
)

//----------------------------------------------------------------------
// unicast NS
//	TN(link-local) ==> NUT(link-local)
//	hoplimit=2
//	target=TN(link-local)
//	w/ SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(ucast_ns_hoplimit, _HETHER_tn2nut,
	{
	 _SRC(tnv6());
	 _DST(nutv6());
	 HopLimit=2;
	},
	{
	 TargetAddress=tnv6();
	 option=_SLLOPT_tn;
	}
)

//----------------------------------------------------------------------
//  DAD NA
//	NUT(link-local) ==> all-node multicast
//	target=NUT's link-local
//	r=0, s=0, o=0/1
//	w/ TLLA
//----------------------------------------------------------------------
FEM_icmp6_na(multicast_na_tn2allnode_rsO_tll, _HETHER_nut2allnodes,
        {
         _SRC(nutv6());
         _DST(v6(_ALLNODES_MCAST_ADDR));
         HopLimit=255;
        },
        {
         RFlag=0;
         SFlag=0;
         OFlag=1;
         TargetAddress=nutv6();
	 option=_TLLOPT_nut;
        }
)

//----------------------------------------------------------------------
FEM_icmp6_na(multicast_na_tn2allnode_RsO_tll, _HETHER_nut2allnodes,
        {
         _SRC(nutv6());
         _DST(v6(_ALLNODES_MCAST_ADDR));
         HopLimit=255;
        },
        {
         RFlag=1;
         SFlag=0;
         OFlag=1;
         TargetAddress=nutv6();
	 option=_TLLOPT_nut;
        }
)

//----------------------------------------------------------------------