// $Copyright$
//
// $Id: hostRecvRedirect4Nonce.def,v 1.1.1.1 2000/10/31 22:38:59 sekiya Exp $

#include "nd.def"

//----------------------------------------------------------------------
_HETHER_define(hether_rone2nut, ether(A0N_MAC_ADDR), nutether())
_HETHER_define(hether_nut2rone, nutether(), ether(A0N_MAC_ADDR))

_HETHER_define(hether_nut2hone, nutether(), ether(A9N_MAC_ADDR))

_HETHER_define(hether_rone2allnodes, ether(A0N_MAC_ADDR),
        v62ethermulti(v6(_ALLNODES_MCAST_ADDR)))

_SLLOPT_define(sllopt_rone, ether(A0N_MAC_ADDR))
_TLLOPT_define(tllopt_rone, ether(A0N_MAC_ADDR))

//----------------------------------------------------------------------
// multicast RA
//      R1(link-local) ==> all-node
//      M=0, O=0
//      lifetime=600 or 0 sec
//      ReachableTime=0 msec (not specified)
//      RetransTimer=0 msec (not specified)
//      w/ SLLA
//      w/ prefix
//              l=1, a=1
//              ValidLifetime=2592000
//              PreferredLifetime=604800;
//----------------------------------------------------------------------
FEM_icmp6_ra(ra_rone2allnode_sll, hether_rone2allnodes,
        {
         _SRC(v6ether(A0N_MAC_ADDR));
         _DST(v6(_ALLNODES_MCAST_ADDR));
         HopLimit=255;
        },
        {
         CurHopLimit=0;
         MFlag=0;
         OFlag=0;
         LifeTime=600;
         ReachableTime=0;
         RetransTimer=0;
         option=sllopt_rone;
         option=prefixopt;
        }
)

//----------------------------------------------------------------------
FEM_icmp6_ra(ra_rone2allnode_clrrtr, hether_rone2allnodes,
        {
         _SRC(v6ether(A0N_MAC_ADDR));
         _DST(v6(_ALLNODES_MCAST_ADDR));
         HopLimit=255;
        },
        {
         CurHopLimit=0;
         MFlag=0;
         OFlag=0;
         LifeTime=0;
         ReachableTime=0;
         RetransTimer=0;
        }
)

//----------------------------------------------------------------------
Opt_ICMPv6_Prefix prefixopt {
//      Type=3;
//      Length=4;
//      PrefixLength=_GLOBAL0_UCAST_PRFXLEN;
        LFlag=1;
        AFlag=1;        
//      Reserved1=ZERO; 
        ValidLifetime=2592000;
        PreferredLifetime=604800;
//      Reserved2=ZERO; 
        Prefix=v6(_GLOBAL0_UCAST_PRFX);
}

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

//----------------------------------------------------------------------
// unicast NA
//      R1(link-local) ==> NUT(link-local)
//      R=1, S=1, O=1
//	target=R1(link-local)
//      w/ TLLA
//----------------------------------------------------------------------
FEM_icmp6_na(unicast_na_rone2nut_RSO_tll, hether_rone2nut,
        {
         _SRC(v6ether(A0N_MAC_ADDR));
         _DST(nutv6());
         HopLimit=255;
        },
        {
         RFlag=1;
         SFlag=1;
         OFlag=1;
         TargetAddress=v6ether(A0N_MAC_ADDR);
         option=tllopt_rone;
        }
)

//----------------------------------------------------------------------
// unicast NS
//      NUT(link-local) ==> TN(link-local)
//      target=TN(link-local)
//----------------------------------------------------------------------
FEM_icmp6_ns(unicast_ns_nut2tn, _HETHER_nut2tn,
        {
         _SRC(nutv6());
         _DST(tnv6());
         HopLimit=255;
        },
        {
         TargetAddress=tnv6();
        }
)

//----------------------------------------------------------------------
// unicast NS
//      NUT(link-local) ==> TN(link-local)
//      target=TN(link-local)
//      w/ SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(unicast_ns_nut2tn_sll, _HETHER_nut2tn,
        {
         _SRC(nutv6());
         _DST(tnv6());
         HopLimit=255;
        },
        {
         TargetAddress=tnv6();
         option=_SLLOPT_nut;
        }
)

//----------------------------------------------------------------------
// echo-request A
//----------------------------------------------------------------------
FEM_icmp6_echo_request(echo_request_a, hether_rone2nut,
	{
         _SRC(v6merge(_GLOBAL9_UCAST_PRFX, _GLOBAL9_UCAST_PRFXLEN,
                        v6ether(A9N_MAC_ADDR)));
	 _DST(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
	},
	{
	 payload=echo_data_a;
	}
)

//----------------------------------------------------------------------
// multicast NS
//      NUT(global) ==> H1(solicited-node[global])
//      target=H1(global)
//      w/o SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(multicast_ns_nut2tn, _HETHER_nut2tnsolnode,
        {
         _SRC(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
         _DST(_IPV6_SOLNODE_MCAST(tnv6()));
         HopLimit=255;
        },
        {
         TargetAddress=tnv6();
        }
)

//----------------------------------------------------------------------
// multicast NS
//      NUT(global) ==> H1(solicited-node[global])
//      target=H1(global)
//      w/ SLLA
//----------------------------------------------------------------------
FEM_icmp6_ns(multicast_ns_nut2tn_sll, _HETHER_nut2tnsolnode,
        {
         _SRC(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
         _DST(_IPV6_SOLNODE_MCAST(tnv6()));
         HopLimit=255;
        },
        {
         TargetAddress=tnv6();
         option=_SLLOPT_nut;
        }
)

//----------------------------------------------------------------------
// echo-reply A
//----------------------------------------------------------------------
FEM_icmp6_echo_reply(echo_reply_a, hether_nut2rone,
	{
	 _SRC(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
         _DST(v6merge(_GLOBAL9_UCAST_PRFX, _GLOBAL9_UCAST_PRFXLEN,
                        v6ether(A9N_MAC_ADDR)));
	},
	{
	 payload=echo_data_a;
	}
)

//----------------------------------------------------------------------
Payload echo_data_a {
        data=repeat(0xff, 0x10);
}

//----------------------------------------------------------------------
// echo-request B
//	that is forwared from R1
//----------------------------------------------------------------------
FEM_icmp6_echo_request(echo_request_b, hether_rone2nut,
	{
         _SRC(v6merge(_GLOBAL9_UCAST_PRFX, _GLOBAL9_UCAST_PRFXLEN,
                        v6ether(A9N_MAC_ADDR)));
	 _DST(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
	},
	{
	 payload=echo_data_b;
	}
)

//----------------------------------------------------------------------
// echo-reply B
//	that is thrown to the R1
//----------------------------------------------------------------------
FEM_icmp6_echo_reply(echo_reply_b, hether_nut2rone,
	{
	 _SRC(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
         _DST(v6merge(_GLOBAL9_UCAST_PRFX, _GLOBAL9_UCAST_PRFXLEN,
                        v6ether(A9N_MAC_ADDR)));
	},
	{
	 payload=echo_data_b;
	}
)

//----------------------------------------------------------------------
// echo-reply B
//	that is thrown to the TN
//----------------------------------------------------------------------
FEM_icmp6_echo_reply(echo_reply_b2, _HETHER_nut2tn,
	{
	 _SRC(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
         _DST(v6merge(_GLOBAL9_UCAST_PRFX, _GLOBAL9_UCAST_PRFXLEN,
                        v6ether(A9N_MAC_ADDR)));
	},
	{
	 payload=echo_data_b;
	}
)

//----------------------------------------------------------------------
// echo-reply B
//	whose destination is on-link
//----------------------------------------------------------------------
FEM_icmp6_echo_reply(echo_reply_b_onlink, hether_nut2hone,
	{
	 _SRC(nut2v6(_GLOBAL0_UCAST_PRFX, _GLOBAL0_UCAST_PRFXLEN));
         _DST(v6merge(_GLOBAL9_UCAST_PRFX, _GLOBAL9_UCAST_PRFXLEN,
                        v6ether(A9N_MAC_ADDR)));
	},
	{
	 payload=echo_data_b;
	}
)

//----------------------------------------------------------------------
Payload echo_data_b {
        data=repeat(0xcc, 0x10);
}

//----------------------------------------------------------------------
// Redirect
//      R1(link-local) ==> NUT(link-local)
//      icmp target=TN(link-local)
//      icmp destination=H1(global)
//      w/  TLL
//      w/o redirect header
//----------------------------------------------------------------------
FEM_icmp6_redirect(redirect_rone2nut_tll, hether_rone2nut,
        {
         _SRC(v6ether(A0N_MAC_ADDR));
         _DST(nutv6());
         HopLimit=255;
        },
        {
         TargetAddress=tnv6();
         DestinationAddress=v6merge(_GLOBAL9_UCAST_PRFX,
                        _GLOBAL9_UCAST_PRFXLEN, v6ether(A9N_MAC_ADDR));
	 option=_TLLOPT_tn;
        }
)

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