r0 = socket(0x11, 0xa, 0x0)
ioctl$sock_ipv6_tunnel_SIOCDEL6RD(r0, 0x89fa, 0x0)