r0 = socket$inet6_icmp_raw(0xa, 0x3, 0x3a)
pipe(&(0x7f00000000c0)={0xffffffffffffffff, <r1=>0xffffffffffffffff})
splice(r1, 0x0, r0, &(0x7f0000000180), 0xdea1, 0x0)