r0 = socket$inet_udplite(0x2, 0x2, 0x88)
sendmmsg$sock(r0, &(0x7f00000068c0)=[{{&(0x7f00000045c0)=@x25, 0x80, 0x0}}], 0x1, 0x0)