//
// $Copyright$
//
// LLOCAL_invalNA_hoplimit.def
//
//   You have to define the following name of frames. 
// DADV6ADDR              : v6 Tentative address for DAD
// dadns_from_NUT         : DAD NS comming from NUT on DAD
// chkconf_dadns_to_NUT   : DAD NS send to NUT to check if address is configured
// chkconf_dadna_from_NUT : DAD NA comming from NUT if addrss is configured
// dadpkt_to_NUT          : DAD Packet send to NUT to test DAD
//
// $Id: LLOCAL_invalNA_hoplimit.def,v 1.1.1.1 2000/10/31 22:39:24 sekiya Exp $

//
// DADV6ADDR
// dadns_from_NUT
// chkconf_dadns_to_NUT
// chkconf_dadna_from_NUT
// hether_nut2tentsolnode
// hether_tn2tentsolnode
//    to define this, include the basic definition file.
#include "BASIC.def"


//
// dadpkt_to_NUT
//  Description: 
//    DAD Packet send to NUT to test DAD
//  Spec:
//    invalid DAD NA   (RFC2461 7.1.2 Validation of NA)
//    HopLimit=64;    //invalid, MUST be 255

FEM_icmp6_na(  dadpkt_to_NUT, _HETHER_nut2allnodes,
	    {  _SRC(DADV6ADDR);
	       _DST(v6(_ALLNODES_MCAST_ADDR));
	       HopLimit=64; },    //invalid
            {  RFlag=0;   // host (MUST)
	       SFlag=0;   // (MUST)
	       OFlag=1;   // (SHOULD)
	       TargetAddress=DADV6ADDR;
	       option=_TLLOPT_nut; }
)


//end