sys/linux: refine tcp repair descriptions

1 files changed, 30 insertions, 0 deletions

diff --git a/executor/syscalls.h b/executor/syscalls.h
index fb0ea2d1c..8c73441a2 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -3058,7 +3058,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet6_tcp_TCP_CONGESTION", 366},
     {"setsockopt$inet6_tcp_TCP_FASTOPEN_KEY", 366},
     {"setsockopt$inet6_tcp_TCP_MD5SIG", 366},
+    {"setsockopt$inet6_tcp_TCP_QUEUE_SEQ", 366},
+    {"setsockopt$inet6_tcp_TCP_REPAIR", 366},
     {"setsockopt$inet6_tcp_TCP_REPAIR_OPTIONS", 366},
+    {"setsockopt$inet6_tcp_TCP_REPAIR_QUEUE", 366},
     {"setsockopt$inet6_tcp_TCP_REPAIR_WINDOW", 366},
     {"setsockopt$inet6_tcp_TCP_ULP", 366},
     {"setsockopt$inet6_tcp_TLS_RX", 366},
@@ -3174,7 +3177,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet_tcp_TCP_CONGESTION", 366},
     {"setsockopt$inet_tcp_TCP_FASTOPEN_KEY", 366},
     {"setsockopt$inet_tcp_TCP_MD5SIG", 366},
+    {"setsockopt$inet_tcp_TCP_QUEUE_SEQ", 366},
+    {"setsockopt$inet_tcp_TCP_REPAIR", 366},
     {"setsockopt$inet_tcp_TCP_REPAIR_OPTIONS", 366},
+    {"setsockopt$inet_tcp_TCP_REPAIR_QUEUE", 366},
     {"setsockopt$inet_tcp_TCP_REPAIR_WINDOW", 366},
     {"setsockopt$inet_tcp_TCP_ULP", 366},
     {"setsockopt$inet_tcp_TLS_RX", 366},
@@ -5360,7 +5366,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet6_tcp_TCP_CONGESTION", 54},
     {"setsockopt$inet6_tcp_TCP_FASTOPEN_KEY", 54},
     {"setsockopt$inet6_tcp_TCP_MD5SIG", 54},
+    {"setsockopt$inet6_tcp_TCP_QUEUE_SEQ", 54},
+    {"setsockopt$inet6_tcp_TCP_REPAIR", 54},
     {"setsockopt$inet6_tcp_TCP_REPAIR_OPTIONS", 54},
+    {"setsockopt$inet6_tcp_TCP_REPAIR_QUEUE", 54},
     {"setsockopt$inet6_tcp_TCP_REPAIR_WINDOW", 54},
     {"setsockopt$inet6_tcp_TCP_ULP", 54},
     {"setsockopt$inet6_tcp_TLS_RX", 54},
@@ -5476,7 +5485,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet_tcp_TCP_CONGESTION", 54},
     {"setsockopt$inet_tcp_TCP_FASTOPEN_KEY", 54},
     {"setsockopt$inet_tcp_TCP_MD5SIG", 54},
+    {"setsockopt$inet_tcp_TCP_QUEUE_SEQ", 54},
+    {"setsockopt$inet_tcp_TCP_REPAIR", 54},
     {"setsockopt$inet_tcp_TCP_REPAIR_OPTIONS", 54},
+    {"setsockopt$inet_tcp_TCP_REPAIR_QUEUE", 54},
     {"setsockopt$inet_tcp_TCP_REPAIR_WINDOW", 54},
     {"setsockopt$inet_tcp_TCP_ULP", 54},
     {"setsockopt$inet_tcp_TLS_RX", 54},
@@ -7634,7 +7646,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet6_tcp_TCP_CONGESTION", 294},
     {"setsockopt$inet6_tcp_TCP_FASTOPEN_KEY", 294},
     {"setsockopt$inet6_tcp_TCP_MD5SIG", 294},
+    {"setsockopt$inet6_tcp_TCP_QUEUE_SEQ", 294},
+    {"setsockopt$inet6_tcp_TCP_REPAIR", 294},
     {"setsockopt$inet6_tcp_TCP_REPAIR_OPTIONS", 294},
+    {"setsockopt$inet6_tcp_TCP_REPAIR_QUEUE", 294},
     {"setsockopt$inet6_tcp_TCP_REPAIR_WINDOW", 294},
     {"setsockopt$inet6_tcp_TCP_ULP", 294},
     {"setsockopt$inet6_tcp_TLS_RX", 294},
@@ -7750,7 +7765,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet_tcp_TCP_CONGESTION", 294},
     {"setsockopt$inet_tcp_TCP_FASTOPEN_KEY", 294},
     {"setsockopt$inet_tcp_TCP_MD5SIG", 294},
+    {"setsockopt$inet_tcp_TCP_QUEUE_SEQ", 294},
+    {"setsockopt$inet_tcp_TCP_REPAIR", 294},
     {"setsockopt$inet_tcp_TCP_REPAIR_OPTIONS", 294},
+    {"setsockopt$inet_tcp_TCP_REPAIR_QUEUE", 294},
     {"setsockopt$inet_tcp_TCP_REPAIR_WINDOW", 294},
     {"setsockopt$inet_tcp_TCP_ULP", 294},
     {"setsockopt$inet_tcp_TLS_RX", 294},
@@ -9886,7 +9904,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet6_tcp_TCP_CONGESTION", 208},
     {"setsockopt$inet6_tcp_TCP_FASTOPEN_KEY", 208},
     {"setsockopt$inet6_tcp_TCP_MD5SIG", 208},
+    {"setsockopt$inet6_tcp_TCP_QUEUE_SEQ", 208},
+    {"setsockopt$inet6_tcp_TCP_REPAIR", 208},
     {"setsockopt$inet6_tcp_TCP_REPAIR_OPTIONS", 208},
+    {"setsockopt$inet6_tcp_TCP_REPAIR_QUEUE", 208},
     {"setsockopt$inet6_tcp_TCP_REPAIR_WINDOW", 208},
     {"setsockopt$inet6_tcp_TCP_ULP", 208},
     {"setsockopt$inet6_tcp_TLS_RX", 208},
@@ -10002,7 +10023,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet_tcp_TCP_CONGESTION", 208},
     {"setsockopt$inet_tcp_TCP_FASTOPEN_KEY", 208},
     {"setsockopt$inet_tcp_TCP_MD5SIG", 208},
+    {"setsockopt$inet_tcp_TCP_QUEUE_SEQ", 208},
+    {"setsockopt$inet_tcp_TCP_REPAIR", 208},
     {"setsockopt$inet_tcp_TCP_REPAIR_OPTIONS", 208},
+    {"setsockopt$inet_tcp_TCP_REPAIR_QUEUE", 208},
     {"setsockopt$inet_tcp_TCP_REPAIR_WINDOW", 208},
     {"setsockopt$inet_tcp_TCP_ULP", 208},
     {"setsockopt$inet_tcp_TLS_RX", 208},
@@ -12017,7 +12041,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet6_tcp_TCP_CONGESTION", 339},
     {"setsockopt$inet6_tcp_TCP_FASTOPEN_KEY", 339},
     {"setsockopt$inet6_tcp_TCP_MD5SIG", 339},
+    {"setsockopt$inet6_tcp_TCP_QUEUE_SEQ", 339},
+    {"setsockopt$inet6_tcp_TCP_REPAIR", 339},
     {"setsockopt$inet6_tcp_TCP_REPAIR_OPTIONS", 339},
+    {"setsockopt$inet6_tcp_TCP_REPAIR_QUEUE", 339},
     {"setsockopt$inet6_tcp_TCP_REPAIR_WINDOW", 339},
     {"setsockopt$inet6_tcp_TCP_ULP", 339},
     {"setsockopt$inet6_tcp_TLS_RX", 339},
@@ -12133,7 +12160,10 @@ const call_t syscalls[] = {
     {"setsockopt$inet_tcp_TCP_CONGESTION", 339},
     {"setsockopt$inet_tcp_TCP_FASTOPEN_KEY", 339},
     {"setsockopt$inet_tcp_TCP_MD5SIG", 339},
+    {"setsockopt$inet_tcp_TCP_QUEUE_SEQ", 339},
+    {"setsockopt$inet_tcp_TCP_REPAIR", 339},
     {"setsockopt$inet_tcp_TCP_REPAIR_OPTIONS", 339},
+    {"setsockopt$inet_tcp_TCP_REPAIR_QUEUE", 339},
     {"setsockopt$inet_tcp_TCP_REPAIR_WINDOW", 339},
     {"setsockopt$inet_tcp_TCP_ULP", 339},
     {"setsockopt$inet_tcp_TLS_RX", 339},