//
// $Copyright$
//
// LLOCAL_supNS_prfxopt.def
//
//   You have to define the following address and 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_supNS_prfxopt.def,v 1.1.1.1 2000/09/28 00:15:16 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:
//    available to force NUT state DADFinishFail
//    (Just same as dadns_from_NUT, Ether MAC address is same as NUT)
//    valid DAD NS
//    strange option (prefix option)

_PRFXOPT_define(prefixopt_test, v6(_GLOBAL0_UCAST_PRFX), _GLOBAL0_UCAST_PRFXLEN, )

FEM_icmp6_ns(  dadpkt_to_NUT, hether_nut2tentsolnode,
            {  _SRC(v6(_UNSPEC_ADDR));
               _DST(_IPV6_SOLNODE_MCAST(DADV6ADDR));
	       HopLimit=255; },
            {  TargetAddress=DADV6ADDR;
               option=prefixopt_test;
            }
)


//end