==== 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
31 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.111 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.111/0.111/0.111/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.109 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.109/0.109/0.109/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.136 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.136/0.136/0.136/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.168 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.168/0.168/0.168/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.215 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.215/0.215/0.215/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.157 ms

--- ::1 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-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.141 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.141/0.141/0.141/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.169 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.169/0.169/0.169/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.215 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.215/0.215/0.215/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.225 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.225/0.225/0.225/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.124 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.124/0.124/0.124/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.127 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.127/0.127/0.127/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.134 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.134/0.134/0.134/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.172 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.172/0.172/0.172/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.189 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.189/0.189/0.189/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.158 ms

--- ::1 ping statistics ---
1 packets transmitted, 1 packets received, 0.0% packet loss
round-trip min/avg/max/std-dev = 0.158/0.158/0.158/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.145 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.145/0.145/0.145/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.167 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.167/0.167/0.167/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.214 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.214/0.214/0.214/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.223 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.223/0.223/0.223/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