No commit message

		} // end f_sendHaAddrDreq

		} // end f_sendHaAddrDreq

		/*

	 * @desc 	This goes through the extension header list and calculates length, checksum

	 *			and other specific functions of the different extension headers

	 * @param 	p_haAddrDreq HomeAgentAddressDiscoveryRequest	

	 * @return 	execution status 

	*/

	function f_setHaAddrDrepExtensionHeaders(inout HomeAgentAddressDiscoveryReply p_haAddrDrep)

	runs on LibIpv6Node

	return FncRetCode {

		var UInt8 i;

		var Ipv6Address v_homeAddress := c_16ZeroBytes;

		//select ext hdrs that need special calculation

		if (ispresent(p_haAddrDrep.extHdrList)) {

			for (i:=0; i<sizeof(p_haAddrDrep.extHdrList);i:=i+1) {

				if (ischosen(p_haAddrDrep.extHdrList[i].mipHeader)) {

					if (f_isPresentHomeAddressOption(p_haAddrDrep.extHdrList, v_homeAddress) == e_success) {

						f_setMipHeader(	v_homeAddress,

										p_haAddrDrep.ipv6Hdr.destinationAddress,

										p_haAddrDrep.extHdrList[i].mipHeader);	

					}

					else {

						f_setMipHeader(	p_haAddrDrep.ipv6Hdr.sourceAddress,

										p_haAddrDrep.ipv6Hdr.destinationAddress,

										p_haAddrDrep.extHdrList[i].mipHeader);

					}

				}

			/*	else if (ischosen(p_extHdrList[i].)) {

					f_setSecurityHdr();

				}  */

			}

		}

		return e_success;

	}//end f_setHaAddrDreqExtensionHeaders

		/*

		/*

		 * @desc  DHAADRequest message is sent, and DHAADResp is expected

		 * @desc  DHAADRequest message is sent, and DHAADResp is expected

		 *			The gla of HA is returned via inout variable.

		 *			The gla of HA is returned via inout variable.