r0 = socket$inet_udplite(0x2, 0x2, 0x88)
r1 = dup(r0)
ioctl$TCXONC(r1, 0x541b, 0xf0ff1f00000000)