r0 = socket$nl_xfrm(0x10, 0x3, 0x6) ioctl$int_in(r0, 0x5421, 0xfffffffffffffffd)