r0 = syz_open_procfs(0x0, &(0x7f00000000c0)='map_files\x00') r1 = openat$zero(0xffffffffffffff9c, &(0x7f0000000000), 0x0, 0x0) splice(r1, 0xfffffffffffffffc, r0, 0x0, 0x7ba, 0x0)