r0 = syz_open_dev$loop(&(0x7f0000000480), 0x0, 0x0)
vmsplice(r0, &(0x7f0000000600)=[{&(0x7f00000004c0)='?', 0x1}], 0x1, 0x0)