r0 = socket$inet6_tcp(0xa, 0x1, 0x0)
setsockopt$inet6_tcp_TLS_RX(r0, 0x6, 0x2, &(0x7f0000000180)=@ccm_128={{}, "badc4c48c066a84c", "77066d5e9ba7d45eef814d132cf07f73", "89fd7d58", "52f8016f8ef79005"}, 0x28)