pipe(&(0x7f0000000180)={<r0=>0xffffffffffffffff, <r1=>0xffffffffffffffff})
vmsplice(r1, &(0x7f0000001ac0)=[{&(0x7f0000001600)="b1", 0x1}], 0x1, 0x0)
write$P9_RSTATFS(r1, &(0x7f0000000140)={0x43}, 0x43)
read$eventfd(r0, &(0x7f00000001c0), 0x8)