pipe(&(0x7f0000000040)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
r2 = syz_open_dev$tty1(0xc, 0x4, 0x1)
r3 = dup2(r1, r1)
vmsplice(r3, &(0x7f0000000180)=[{&(0x7f0000000000)="a6", 0x1}], 0x1, 0x0)
splice(r0, 0x0, r2, 0x0, 0x802, 0x0)