sys/linux: refine tcp repair descriptions

2 files changed, 35 insertions, 5 deletions

diff --git a/executor/defs.h b/executor/defs.h
index 1b6da6208..e98e75c35 100644
--- a/executor/defs.h
+++ b/executor/defs.h
@@ -60,7 +60,7 @@
 
 #if GOARCH_386
 #define GOARCH "386"
-#define SYZ_REVISION "71fbeb78059512031b845005efbca319a297c232"
+#define SYZ_REVISION "c721fa358300e47c465510404cbf984f34756d64"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -70,7 +70,7 @@
 
 #if GOARCH_amd64
 #define GOARCH "amd64"
-#define SYZ_REVISION "3568116ea3bce127670798b143ae62fe18332fe8"
+#define SYZ_REVISION "3e31e3a63b67deadc9e884e0351741a7608a684a"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -80,7 +80,7 @@
 
 #if GOARCH_arm
 #define GOARCH "arm"
-#define SYZ_REVISION "77dfb16e9b6dba5aa341366466d3d7d9953c36e4"
+#define SYZ_REVISION "8e6d0d85268780c08f36e5f635ff76437a85439b"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -90,7 +90,7 @@
 
 #if GOARCH_arm64
 #define GOARCH "arm64"
-#define SYZ_REVISION "78b110fad68c5730e2ddb41bdc37123a87b77171"
+#define SYZ_REVISION "f24b0ebfd6adca169a5d7e71242cd8fa3016e2fa"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -100,7 +100,7 @@
 
 #if GOARCH_ppc64le
 #define GOARCH "ppc64le"
-#define SYZ_REVISION "1d1c97fcbd013c57ee36147bbb8c7656a4354f4d"
+#define SYZ_REVISION "26f797d411e958d7cf2338449a41aa9dce810505"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
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},