5190     ip6_t *inner_ipv6, ipha_t *outer_ipv4, ip6_t *outer_ipv6, int outer_hdr_len,  in ipsec_tun_outbound()  argument
5202 	ASSERT(outer_ipv6 != NULL && outer_ipv4 == NULL ||  in ipsec_tun_outbound()
5203 	    outer_ipv4 != NULL && outer_ipv6 == NULL);  in ipsec_tun_outbound()
5256 				outer_ipv6 = (ip6_t *)mp->b_rptr;  in ipsec_tun_outbound()
5553     ip6_t *outer_ipv6, int outer_hdr_len, netstack_t *ns)  in ipsec_tun_inbound()  argument
5569 		ASSERT(outer_ipv6 == NULL);  in ipsec_tun_inbound()
5572 		ASSERT(outer_ipv6 != NULL);  in ipsec_tun_inbound()
5650 					outer_ipv6 =  in ipsec_tun_inbound()
5890 			ASSERT(outer_ipv6 != NULL);  in ipsec_tun_inbound()
5891 			tmpaddr = outer_ipv6->ip6_src;  in ipsec_tun_inbound()
5892 			outer_ipv6->ip6_src = outer_ipv6->ip6_dst;  in ipsec_tun_inbound()
5893 			outer_ipv6->ip6_dst = tmpaddr;  in ipsec_tun_inbound()
5898 	    outer_ipv6, ira, ns);  in ipsec_tun_inbound()
5910 			tmpaddr = outer_ipv6->ip6_src;  in ipsec_tun_inbound()
5911 			outer_ipv6->ip6_src = outer_ipv6->ip6_dst;  in ipsec_tun_inbound()
5912 			outer_ipv6->ip6_dst = tmpaddr;  in ipsec_tun_inbound()