r0 = syz_open_dev$loop(&(0x7f0000000580), 0x2f, 0x0)
r1 = socket$inet6_udplite(0xa, 0x2, 0x88)
sendfile(r1, r0, 0x0, 0xf7)