r0 = socket$inet6_icmp_raw(0xa, 0x3, 0x3a)
fcntl$setstatus(r0, 0x4, 0x40c00)
readv(r0, &(0x7f0000000000)=[{&(0x7f0000000180)=""/72, 0x48}], 0x1)