==== busy-rdomains ====
# Check if rdomains are busy.

==== ifconfig ====
doas -n /sbin/ifconfig lo15 rdomain 15
doas -n /sbin/ifconfig lo15 inet 127.0.0.1 delete
ifconfig: SIOCDIFADDR: Can't assign requested address
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig lo15 inet6 ::1 delete
doas -n /sbin/ifconfig lo15 inet 10.188.4.15 delete
ifconfig: SIOCDIFADDR: Can't assign requested address
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig lo15 inet6 fdd7:e83e:66bc:6::15 delete
ifconfig: SIOCDIFADDR: Can't assign requested address
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig gif154 destroy
ifconfig: gif154: SIOCIFDESTROY: Device not configured
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig gif156 destroy
ifconfig: gif156: SIOCIFDESTROY: Device not configured
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig lo15 destroy
doas -n /sbin/ifconfig lo16 rdomain 16
doas -n /sbin/ifconfig lo16 inet 127.0.0.1 delete
ifconfig: SIOCDIFADDR: Can't assign requested address
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig lo16 inet6 ::1 delete
doas -n /sbin/ifconfig lo16 inet 10.188.4.16 delete
ifconfig: SIOCDIFADDR: Can't assign requested address
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig lo16 inet6 fdd7:e83e:66bc:6::16 delete
ifconfig: SIOCDIFADDR: Can't assign requested address
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig gif164 destroy
ifconfig: gif164: SIOCIFDESTROY: Device not configured
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig gif166 destroy
ifconfig: gif166: SIOCIFDESTROY: Device not configured
*** Error 1 in target 'unconfig' (ignored)
doas -n /sbin/ifconfig lo16 destroy
rm -f stamp-ifconfig
# Create and configure loopback interfaces.
doas -n /sbin/ifconfig lo15 rdomain 15
doas -n /sbin/ifconfig lo15 inet 127.0.0.1/8
doas -n /sbin/ifconfig lo15 inet6 ::1/128
doas -n /sbin/ifconfig lo15 inet 10.188.4.15 alias
doas -n /sbin/ifconfig lo15 inet6 fdd7:e83e:66bc:6::15 alias
doas -n /sbin/route -n -T 15 add -inet -host 10.188.4.16 127.0.0.1
add host 10.188.4.16: gateway 127.0.0.1
doas -n /sbin/route -n -T 15 add -inet6 -host fdd7:e83e:66bc:6::16 ::1
add host fdd7:e83e:66bc:6::16: gateway ::1
doas -n /sbin/ifconfig gif154 create rdomain 15 tunneldomain 15
doas -n /sbin/ifconfig gif154 tunnel 10.188.4.15 10.188.4.16
doas -n /sbin/ifconfig gif154 inet 10.188.44.15/32 10.188.44.16
doas -n /sbin/ifconfig gif154 inet6 fdd7:e83e:66bc:46::15 fdd7:e83e:66bc:46::16
doas -n /sbin/ifconfig gif156 create rdomain 15 tunneldomain 15
doas -n /sbin/ifconfig gif156 tunnel fdd7:e83e:66bc:6::15 fdd7:e83e:66bc:6::16
doas -n /sbin/ifconfig gif156 inet 10.188.64.15/32 10.188.64.16
doas -n /sbin/ifconfig gif156 inet6 fdd7:e83e:66bc:66::15 fdd7:e83e:66bc:66::16
doas -n /sbin/ifconfig lo16 rdomain 16
doas -n /sbin/ifconfig lo16 inet 127.0.0.1/8
doas -n /sbin/ifconfig lo16 inet6 ::1/128
doas -n /sbin/ifconfig lo16 inet 10.188.4.16 alias
doas -n /sbin/ifconfig lo16 inet6 fdd7:e83e:66bc:6::16 alias
doas -n /sbin/route -n -T 16 add -inet -host 10.188.4.15 127.0.0.1
add host 10.188.4.15: gateway 127.0.0.1
doas -n /sbin/route -n -T 16 add -inet6 -host fdd7:e83e:66bc:6::15 ::1
add host fdd7:e83e:66bc:6::15: gateway ::1
doas -n /sbin/ifconfig gif164 create rdomain 16 tunneldomain 16
doas -n /sbin/ifconfig gif164 tunnel 10.188.4.16 10.188.4.15
doas -n /sbin/ifconfig gif164 inet 10.188.44.16/32 10.188.44.15
doas -n /sbin/ifconfig gif164 inet6 fdd7:e83e:66bc:46::16 fdd7:e83e:66bc:46::15
doas -n /sbin/ifconfig gif166 create rdomain 16 tunneldomain 16
doas -n /sbin/ifconfig gif166 tunnel fdd7:e83e:66bc:6::16 fdd7:e83e:66bc:6::15
doas -n /sbin/ifconfig gif166 inet 10.188.64.16/32 10.188.64.15
doas -n /sbin/ifconfig gif166 inet6 fdd7:e83e:66bc:66::16 fdd7:e83e:66bc:66::15
# Wait until IPv6 addresses are no longer tentative.
for i in `jot 50`; do if ! { /sbin/ifconfig lo15; /sbin/ifconfig lo16; /sbin/ifconfig gif154; /sbin/ifconfig gif156; /sbin/ifconfig gif164; /sbin/ifconfig gif166; } | fgrep -q tentative; then break; fi; sleep .1; done
! { /sbin/ifconfig lo15; /sbin/ifconfig lo16; /sbin/ifconfig gif154; /sbin/ifconfig gif156; /sbin/ifconfig gif164; /sbin/ifconfig gif166; } | fgrep -q tentative

==== pfctl ====
# Create python include file containing the addresses.
rm -f addr.py addr.py.tmp
echo 'N1="15"' >>addr.py.tmp
echo 'IF_N1="lo15"' >>addr.py.tmp
echo 'DST_TUNNEL4_N1="10.188.4.16"' >>addr.py.tmp
echo 'DST_TUNNEL6_N1="fdd7:e83e:66bc:6::16"' >>addr.py.tmp
echo 'N2="16"' >>addr.py.tmp
echo 'IF_N2="lo16"' >>addr.py.tmp
echo 'DST_TUNNEL4_N2="10.188.4.15"' >>addr.py.tmp
echo 'DST_TUNNEL6_N2="fdd7:e83e:66bc:6::15"' >>addr.py.tmp
mv addr.py.tmp addr.py
# Load the pf rules into the kernel.
cat addr.py /home/src/regress/sys/net/gif/pf.conf | /sbin/pfctl -n -f -
cat addr.py /home/src/regress/sys/net/gif/pf.conf | doas -n /sbin/pfctl -a regress -f -
# ifconfig gif inet6 DAD created tunnel states based on old pf rules
doas -n /sbin/pfctl -Fs
27 states cleared

==== run-ping-local-15 ====
# Ping localhost in routing domain 15.
/sbin/ping -n -w 1 -c 1 -V 15 127.0.0.1
PING 127.0.0.1 (127.0.0.1): 56 data bytes
64 bytes from 127.0.0.1: icmp_seq=0 ttl=255 time=0.107 ms

--- 127.0.0.1 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.107/0.107/0.107/0.000 ms

==== run-ping-src-15 ====
# Ping source address in local routing domain.  SRC_TUNNEL4_15
/sbin/ping -n -w 1 -c 1 -V 15 10.188.4.15
PING 10.188.4.15 (10.188.4.15): 56 data bytes
64 bytes from 10.188.4.15: icmp_seq=0 ttl=255 time=0.125 ms

--- 10.188.4.15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.125/0.125/0.125/0.000 ms

==== run-ping-dst-15 ====
# Ping destination address in other routing domain.  DST_TUNNEL4_15
/sbin/ping -n -w 1 -c 1 -V 15 10.188.4.16
PING 10.188.4.16 (10.188.4.16): 56 data bytes
64 bytes from 10.188.4.16: icmp_seq=0 ttl=255 time=0.130 ms

--- 10.188.4.16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.130/0.130/0.130/0.000 ms

==== run-ping-tunnel4-15 ====
# Ping IPv4 address through IPv4 tunnel.  TUNNEL4_DST_ADDR4_15
/sbin/ping -n -w 1 -c 1 -V 15 10.188.44.16
PING 10.188.44.16 (10.188.44.16): 56 data bytes
64 bytes from 10.188.44.16: icmp_seq=0 ttl=255 time=0.177 ms

--- 10.188.44.16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.177/0.177/0.177/0.000 ms

==== run-ping-tunnel6-15 ====
# Ping IPv4 address through IPv6 tunnel.  TUNNEL6_DST_ADDR4_15
/sbin/ping -n -w 1 -c 1 -V 15 10.188.64.16
PING 10.188.64.16 (10.188.64.16): 56 data bytes
64 bytes from 10.188.64.16: icmp_seq=0 ttl=255 time=0.258 ms

--- 10.188.64.16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.258/0.258/0.258/0.000 ms

==== run-ping6-local-15 ====
# Ping localhost in routing domain 15.
/sbin/ping6 -n -w 1 -c 1 -V 15 ::1
PING ::1 (::1): 56 data bytes
64 bytes from ::1: icmp_seq=0 hlim=64 time=0.159 ms

--- ::1 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.159/0.159/0.159/0.000 ms

==== run-ping6-src-15 ====
# Ping source address in local routing domain.  SRC_TUNNEL6_15
/sbin/ping6 -n -w 1 -c 1 -V 15 fdd7:e83e:66bc:6::15
PING fdd7:e83e:66bc:6::15 (fdd7:e83e:66bc:6::15): 56 data bytes
64 bytes from fdd7:e83e:66bc:6::15: icmp_seq=0 hlim=64 time=0.156 ms

--- fdd7:e83e:66bc:6::15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.156/0.156/0.156/0.000 ms

==== run-ping6-dst-15 ====
# Ping destination address in other routing domain.  DST_TUNNEL6_15
/sbin/ping6 -n -w 1 -c 1 -V 15 fdd7:e83e:66bc:6::16
PING fdd7:e83e:66bc:6::16 (fdd7:e83e:66bc:6::16): 56 data bytes
64 bytes from fdd7:e83e:66bc:6::16: icmp_seq=0 hlim=64 time=0.166 ms

--- fdd7:e83e:66bc:6::16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.166/0.166/0.166/0.000 ms

==== run-ping6-tunnel4-15 ====
# Ping IPv6 address through IPv4 tunnel.  TUNNEL4_DST_ADDR6_15
/sbin/ping6 -n -w 1 -c 1 -V 15 fdd7:e83e:66bc:46::16
PING fdd7:e83e:66bc:46::16 (fdd7:e83e:66bc:46::16): 56 data bytes
64 bytes from fdd7:e83e:66bc:46::16: icmp_seq=0 hlim=64 time=0.209 ms

--- fdd7:e83e:66bc:46::16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.209/0.209/0.209/0.000 ms

==== run-ping6-tunnel6-15 ====
# Ping IPv6 address through IPv6 tunnel.  TUNNEL6_DST_ADDR6_15
/sbin/ping6 -n -w 1 -c 1 -V 15 fdd7:e83e:66bc:66::16
PING fdd7:e83e:66bc:66::16 (fdd7:e83e:66bc:66::16): 56 data bytes
64 bytes from fdd7:e83e:66bc:66::16: icmp_seq=0 hlim=64 time=0.238 ms

--- fdd7:e83e:66bc:66::16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.238/0.238/0.238/0.000 ms

==== run-ping-local-16 ====
# Ping localhost in routing domain 16.
/sbin/ping -n -w 1 -c 1 -V 16 127.0.0.1
PING 127.0.0.1 (127.0.0.1): 56 data bytes
64 bytes from 127.0.0.1: icmp_seq=0 ttl=255 time=0.114 ms

--- 127.0.0.1 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.114/0.114/0.114/0.000 ms

==== run-ping-src-16 ====
# Ping source address in local routing domain.  SRC_TUNNEL4_16
/sbin/ping -n -w 1 -c 1 -V 16 10.188.4.16
PING 10.188.4.16 (10.188.4.16): 56 data bytes
64 bytes from 10.188.4.16: icmp_seq=0 ttl=255 time=0.129 ms

--- 10.188.4.16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.129/0.129/0.129/0.000 ms

==== run-ping-dst-16 ====
# Ping destination address in other routing domain.  DST_TUNNEL4_16
/sbin/ping -n -w 1 -c 1 -V 16 10.188.4.15
PING 10.188.4.15 (10.188.4.15): 56 data bytes
64 bytes from 10.188.4.15: icmp_seq=0 ttl=255 time=0.128 ms

--- 10.188.4.15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.128/0.128/0.128/0.000 ms

==== run-ping-tunnel4-16 ====
# Ping IPv4 address through IPv4 tunnel.  TUNNEL4_DST_ADDR4_16
/sbin/ping -n -w 1 -c 1 -V 16 10.188.44.15
PING 10.188.44.15 (10.188.44.15): 56 data bytes
64 bytes from 10.188.44.15: icmp_seq=0 ttl=255 time=0.173 ms

--- 10.188.44.15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.173/0.173/0.173/0.000 ms

==== run-ping-tunnel6-16 ====
# Ping IPv4 address through IPv6 tunnel.  TUNNEL6_DST_ADDR4_16
/sbin/ping -n -w 1 -c 1 -V 16 10.188.64.15
PING 10.188.64.15 (10.188.64.15): 56 data bytes
64 bytes from 10.188.64.15: icmp_seq=0 ttl=255 time=0.184 ms

--- 10.188.64.15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.184/0.184/0.184/0.000 ms

==== run-ping6-local-16 ====
# Ping localhost in routing domain 16.
/sbin/ping6 -n -w 1 -c 1 -V 16 ::1
PING ::1 (::1): 56 data bytes
64 bytes from ::1: icmp_seq=0 hlim=64 time=0.154 ms

--- ::1 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.154/0.154/0.154/0.000 ms

==== run-ping6-src-16 ====
# Ping source address in local routing domain.  SRC_TUNNEL6_16
/sbin/ping6 -n -w 1 -c 1 -V 16 fdd7:e83e:66bc:6::16
PING fdd7:e83e:66bc:6::16 (fdd7:e83e:66bc:6::16): 56 data bytes
64 bytes from fdd7:e83e:66bc:6::16: icmp_seq=0 hlim=64 time=0.157 ms

--- fdd7:e83e:66bc:6::16 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.157/0.157/0.157/0.000 ms

==== run-ping6-dst-16 ====
# Ping destination address in other routing domain.  DST_TUNNEL6_16
/sbin/ping6 -n -w 1 -c 1 -V 16 fdd7:e83e:66bc:6::15
PING fdd7:e83e:66bc:6::15 (fdd7:e83e:66bc:6::15): 56 data bytes
64 bytes from fdd7:e83e:66bc:6::15: icmp_seq=0 hlim=64 time=0.173 ms

--- fdd7:e83e:66bc:6::15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.173/0.173/0.173/0.000 ms

==== run-ping6-tunnel4-16 ====
# Ping IPv6 address through IPv4 tunnel.  TUNNEL4_DST_ADDR6_16
/sbin/ping6 -n -w 1 -c 1 -V 16 fdd7:e83e:66bc:46::15
PING fdd7:e83e:66bc:46::15 (fdd7:e83e:66bc:46::15): 56 data bytes
64 bytes from fdd7:e83e:66bc:46::15: icmp_seq=0 hlim=64 time=0.196 ms

--- fdd7:e83e:66bc:46::15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.196/0.196/0.196/0.000 ms

==== run-ping6-tunnel6-16 ====
# Ping IPv6 address through IPv6 tunnel.  TUNNEL6_DST_ADDR6_16
/sbin/ping6 -n -w 1 -c 1 -V 16 fdd7:e83e:66bc:66::15
PING fdd7:e83e:66bc:66::15 (fdd7:e83e:66bc:66::15): 56 data bytes
64 bytes from fdd7:e83e:66bc:66::15: icmp_seq=0 hlim=64 time=0.221 ms

--- fdd7:e83e:66bc:66::15 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.221/0.221/0.221/0.000 ms

==== unconfig ====
doas -n /sbin/ifconfig lo15 rdomain 15
doas -n /sbin/ifconfig lo15 inet 127.0.0.1 delete
doas -n /sbin/ifconfig lo15 inet6 ::1 delete
doas -n /sbin/ifconfig lo15 inet 10.188.4.15 delete
doas -n /sbin/ifconfig lo15 inet6 fdd7:e83e:66bc:6::15 delete
doas -n /sbin/ifconfig gif154 destroy
doas -n /sbin/ifconfig gif156 destroy
doas -n /sbin/ifconfig lo15 destroy
doas -n /sbin/ifconfig lo16 rdomain 16
doas -n /sbin/ifconfig lo16 inet 127.0.0.1 delete
doas -n /sbin/ifconfig lo16 inet6 ::1 delete
doas -n /sbin/ifconfig lo16 inet 10.188.4.16 delete
doas -n /sbin/ifconfig lo16 inet6 fdd7:e83e:66bc:6::16 delete
doas -n /sbin/ifconfig gif164 destroy
doas -n /sbin/ifconfig gif166 destroy
doas -n /sbin/ifconfig lo16 destroy
rm -f stamp-ifconfig