pipe(&(0x7f0000000040)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
r2 = syz_open_dev$tty1(0xc, 0x4, 0x1)
fcntl$setstatus(r1, 0x4, 0x2800)
vmsplice(r1, &(0x7f0000000000)=[{&(0x7f0000001080)="c3", 0x1}], 0x1, 0x0)
splice(r0, 0x0, r2, 0x0, 0x802, 0x0)