//
// $Copyright$
//
// $Name:  $
//
// $Id: DH.def,v 1.1.1.1 2000/09/28 00:15:05 sekiya Exp $
//

//======================================================================
//
// ICMP echo request (for connectivity test)
//

FEM_icmp6_echo_request(echo_request,
	_HETHER_tn2nut,
	{
		_SRC(tnv6());
		_DST(nutv6());
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// ICMP echo request (with Extension Header)
//

FEM_icmp6_echo_request_exth(
	echo_request_ex,
	_HETHER_tn2nut,
	{
		_SRC(tnv6());
		_DST(nutv6());
	},
	{
		header = _HDR_IPV6_NAME(echo_request);
		exthdr = OPT_PAD;
		upper = _ICMPV6_NAME(echo_request);
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// ICMP echo request (multicast)
//

FEM_icmp6_echo_request_exth(
	echo_request_mc,
	_HETHER_tn2nutsolnode,
	{
		_SRC(tnv6());
		_DST(_IPV6_SOLNODE_MCAST(nutv6()));
	},
	{
		header = _HDR_IPV6_NAME(echo_request);
		exthdr = OPT_PAD;
		upper = _ICMPV6_NAME(echo_request);
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// Pad1 
//

Hdr_Destination opt_Pad1 {
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
	option = _Pad1;
}

Opt_Pad1 _Pad1 {
}

//
// PadN 
//

Hdr_Destination opt_PadN {
	option = _PadN;
}

Opt_PadN _PadN {
	pad = {0,0,0,0};
}

//
// Type00
//

Hdr_Destination opt_Type00 {
	option = _Type00;
}

Opt_ANY _Type00 {
	OptionType = 0x02;
	data = {0,0,0,0};
}

//
// Type01
//

Hdr_Destination opt_Type01 {
	option = _Type01;
}

Opt_ANY _Type01 {
	OptionType = 0x42;
	data = {0,0,0,0};
}

//
// Type10
//

Hdr_Destination opt_Type10 {
	option = _Type10;
}

Opt_ANY _Type10 {
	OptionType = 0x82;
	data = {0,0,0,0};
}

//
// Type11
//

Hdr_Destination opt_Type11 {
	option = _Type11;
}

Opt_ANY _Type11 {
	OptionType = 0xe2;
	data = {0,0,0,0};
}

//======================================================================
//
// ICMP echo reply
//

FEM_icmp6_echo_reply(echo_reply,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		payload = echo_data8;
	}
)

//======================================================================
//
// ICMP echo reply (with Extension Header)
//

FEM_icmp6_echo_reply_exth(
	echo_reply_ex,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		header = _HDR_IPV6_NAME(echo_reply);
		exthdr = OPT_PAD;
		upper = _ICMPV6_NAME(echo_reply);
	},
	{
		payload = echo_data8;
	}
)
//======================================================================
//
// Neighbor Solicitation and Neighbor Advertisement
//

FEM_icmp6_ns(
	ns,
	_HETHER_nut2tnsolnode,
	{
		_SRC(oneof(nutv6(),nut2v6(_GLOBAL0_UCAST_PRFX,_GLOBAL0_UCAST_PRFXLEN,"Link0")));
		_DST(_IPV6_SOLNODE_MCAST(tnv6()));
		HopLimit = 255;
	},
	{
		TargetAddress = tnv6();
		option = _SLLOPT_nut;
	}
)

FEM_icmp6_na(
	na,
	_HETHER_tn2nut,
	{
		_SRC(tnv6());
		_DST(nutv6());
		HopLimit = 255;
	},
	{
		SFlag = 1;
		OFlag = 1;
		TargetAddress = tnv6();
		option = _TLLOPT_tn;
	}
)

//----------------------------------------------------------------------
// Payload Data
//----------------------------------------------------------------------

Payload echo_data8 {
	data = {1,2,3,4,5,6,7,8};
}

//======================================================================
//
// ICMP Parameter Problem
//

FEM_icmp6_parameter_problem(
	icmperr,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		Code = 2;	// unrecognized IPv6 option encounted
		Pointer = 42;	// (40+2)
		payload = err;
	}
)

//
// data
//

Payload err {
	data = right(_PACKET_IPV6_NAME(echo_request_ex), 0);
}

//======================================================================
//
// ICMP Parameter Problem
//

FEM_icmp6_parameter_problem(
	icmperr_mc,
	_HETHER_nut2tn,
	{
		_SRC(nutv6());
		_DST(tnv6());
	},
	{
		Code = 2;	// unrecognized IPv6 option encounted
		Pointer = 42;	// (40+2)
		payload = err_mc;
	}
)

//
// data
//

Payload err_mc {
	data = right(_PACKET_IPV6_NAME(echo_request_mc), 0);
}
