r0 = socket$inet_tcp(0x2, 0x1, 0x0)
setsockopt$inet_tcp_TLS_RX(r0, 0x6, 0x9, &(0x7f0000000080)=@gcm_128={{}, "aa25780c503d66c5", "8723d398472305929e1f004416e4023d", "8583d534", "71fc6993e300b09c"}, 0x28)