r0 = openat$tun(0xffffffffffffff9c, &(0x7f00000004c0), 0x0, 0x0)
ioctl$TUNGETSNDBUF(r0, 0x400454ca, 0x0)