Commit c46cc8fa authored by seb's avatar seb
Browse files

CF04 added, Pixit adjusted and sync updated

parent c03a0cc5
Loading
Loading
Loading
Loading
+5 −6
Original line number Diff line number Diff line
@@ -211,18 +211,17 @@ module LibIpv6_Rfc3775Mipv6_Functions {
		 * @param p_macUcaTn Mobile Node Mac Address of test node
		 * @param p_haLlaNut Link Local Address of Node Under Test
		*/
		function f_mnReturnsHome(	in template Ipv6Address p_mnCoaTn,
									in template Ipv6Address p_mnHoaTn,
		function f_mnReturnsHome(	in template Ipv6Address p_mnHoaTn,
									in template Ipv6Address p_mnLlaTn,
									in template Oct6to15 p_macUcaTn,
									in template Ipv6Address p_haGlaNut)//p_haLlaNut)
									in template Ipv6Address p_haGlaNut)
		runs on Ipv6Node
		return FncRetCode {
			var FncRetCode v_ret;
				
			v_ret := f_sendGeneralIpv6(m_generalIpv6_srcDst(c_mipHdr,
															p_mnCoaTn,
															p_haGlaNut,//p_haLlaNut,
															p_mnHoaTn,
															p_haGlaNut,
															m_extHdrList_1Elem(
																m_extHdr_mipHeader (
																	c_noNextHdr,
@@ -241,7 +240,7 @@ module LibIpv6_Rfc3775Mipv6_Functions {
			alt {
				[]	ipPort.receive(mw_generalIpv6_srcDst(	c_mipHdr,
															p_haGlaNut,
															p_mnCoaTn,
															p_mnHoaTn,
															m_extHdrList_1Elem(
															mw_extHdr_mipHeader (	c_noNextHdr,
																					c_bindingAck,
+0 −2
Original line number Diff line number Diff line
@@ -18,8 +18,6 @@

	group mipConstants {

		

		const UInt8 c_mipIcmpHomeAgentAddressDiscoveryRequest := 144;
		const UInt8 c_mipIcmpHomeAgentAddressDiscoveryReply := 145;
		const UInt8 c_mipIcmpMobilePrefixSolicitation := 146;