Commit 1f28f9e3 authored by vouffofeudji's avatar vouffofeudji
Browse files

Partial commit

parent 72a7be02
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -1299,6 +1299,8 @@ module LibIpv6_Interface_Templates {
					icv := icv_p
				}
			}
			
			
	} //end group rfc4302Ah_ExtHdrTemplates
	group rfc4303Esp_ExtHdrTemplates {
		//		template ExtensionHeader mw_extHdr_espHeader(	in UInt32 p_securityParametersIndex,
+10 −1
Original line number Diff line number Diff line
@@ -418,6 +418,7 @@
		}
		
		group NeighborDiscovery_Ah {
			
			/*
			 *	@param  p_nextHeader Next header identifier value to be used.
			 *	@param  p_src Binary IPv6 address associated with the
@@ -429,10 +430,18 @@
				UInt8 p_nextHeader,
				template Ipv6Address p_src,
				template Ipv6Address p_dst,
				template NbrSolOptions p_opts,
				template ExtensionHeaderList p_extHdrList) := {
				ipv6Hdr := m_ipHdr_nextHdr_srcDst(p_nextHeader, p_src, p_dst),
				extHdrList := p_extHdrList,
				ipv6Payload := omit
				ipv6Payload := { nbrSolMsg := {
				icmpType:= c_nbrSolMsg,
				icmpCode:= c_icmpCode0,
				checksum:= c_2ZeroBytes,
				reserved:= c_uInt16Zero,
				targetAddr:= p_dst,
				nbrSolOptions:= p_opts
			}}
			}

			/*