r0 = socket$inet_tcp(0x2, 0x1, 0x0)
r1 = syz_init_net_socket$bt_hci(0x1f, 0x3, 0x1)
r2 = dup3(r1, r0, 0x0)
getsockopt$inet_tcp_buf(r2, 0x6, 0x0, 0x0, 0x0)