sys/linux: fix up mptcp descriptions

1. Generate .const files for all arches.
2. Don't extract mptcp consts on android.
3. Remove mptcp includes from vnet.txt.
4. Enable CONFIG_MPTCP in syz-extract (mptcp is not like all other kernel headers).

1 files changed, 0 insertions, 76 deletions

diff --git a/executor/syscalls.h b/executor/syscalls.h
index b4e38dadf..c01e425b1 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -3037,16 +3037,6 @@ const call_t syscalls[] = {
     {"mq_timedsend", 279},
     {"mq_unlink", 278},
     {"mremap", 163},
-    {"msgctl$IPC_INFO", 402},
-    {"msgctl$IPC_RMID", 402},
-    {"msgctl$IPC_SET", 402},
-    {"msgctl$IPC_STAT", 402},
-    {"msgctl$MSG_INFO", 402},
-    {"msgctl$MSG_STAT", 402},
-    {"msgget", 399},
-    {"msgget$private", 399},
-    {"msgrcv", 401},
-    {"msgsnd", 400},
     {"msync", 144},
     {"munlock", 151},
     {"munlockall", 153},
@@ -3308,21 +3298,6 @@ const call_t syscalls[] = {
     {"sched_yield", 158},
     {"seccomp", 354},
     {"select", 82},
-    {"semctl$GETALL", 394},
-    {"semctl$GETNCNT", 394},
-    {"semctl$GETPID", 394},
-    {"semctl$GETVAL", 394},
-    {"semctl$GETZCNT", 394},
-    {"semctl$IPC_INFO", 394},
-    {"semctl$IPC_RMID", 394},
-    {"semctl$IPC_SET", 394},
-    {"semctl$IPC_STAT", 394},
-    {"semctl$SEM_INFO", 394},
-    {"semctl$SEM_STAT", 394},
-    {"semctl$SETALL", 394},
-    {"semctl$SETVAL", 394},
-    {"semget", 393},
-    {"semget$private", 393},
     {"sendfile", 187},
     {"sendfile64", 239},
     {"sendmmsg", 345},
@@ -3734,18 +3709,6 @@ const call_t syscalls[] = {
     {"setxattr$trusted_overlay_origin", 226},
     {"setxattr$trusted_overlay_redirect", 226},
     {"setxattr$trusted_overlay_upper", 226},
-    {"shmat", 397},
-    {"shmctl$IPC_INFO", 396},
-    {"shmctl$IPC_RMID", 396},
-    {"shmctl$IPC_SET", 396},
-    {"shmctl$IPC_STAT", 396},
-    {"shmctl$SHM_INFO", 396},
-    {"shmctl$SHM_LOCK", 396},
-    {"shmctl$SHM_STAT", 396},
-    {"shmctl$SHM_UNLOCK", 396},
-    {"shmdt", 398},
-    {"shmget", 395},
-    {"shmget$private", 395},
     {"shutdown", 373},
     {"sigaltstack", 186},
     {"signalfd", 321},
@@ -8103,7 +8066,6 @@ const call_t syscalls[] = {
     {"mbind", 319},
     {"membarrier", 389},
     {"memfd_create", 385},
-    {"migrate_pages", 400},
     {"mincore", 219},
     {"mkdir", 39},
     {"mkdirat", 323},
@@ -13055,16 +13017,6 @@ const call_t syscalls[] = {
     {"mq_timedsend", 264},
     {"mq_unlink", 263},
     {"mremap", 163},
-    {"msgctl$IPC_INFO", 402},
-    {"msgctl$IPC_RMID", 402},
-    {"msgctl$IPC_SET", 402},
-    {"msgctl$IPC_STAT", 402},
-    {"msgctl$MSG_INFO", 402},
-    {"msgctl$MSG_STAT", 402},
-    {"msgget", 399},
-    {"msgget$private", 399},
-    {"msgrcv", 401},
-    {"msgsnd", 400},
     {"msync", 144},
     {"munlock", 151},
     {"munlockall", 153},
@@ -13326,22 +13278,6 @@ const call_t syscalls[] = {
     {"sched_yield", 158},
     {"seccomp", 358},
     {"select", 82},
-    {"semctl$GETALL", 394},
-    {"semctl$GETNCNT", 394},
-    {"semctl$GETPID", 394},
-    {"semctl$GETVAL", 394},
-    {"semctl$GETZCNT", 394},
-    {"semctl$IPC_INFO", 394},
-    {"semctl$IPC_RMID", 394},
-    {"semctl$IPC_SET", 394},
-    {"semctl$IPC_STAT", 394},
-    {"semctl$SEM_INFO", 394},
-    {"semctl$SEM_STAT", 394},
-    {"semctl$SETALL", 394},
-    {"semctl$SETVAL", 394},
-    {"semget", 393},
-    {"semget$private", 393},
-    {"semtimedop", 392},
     {"sendfile", 186},
     {"sendmmsg", 349},
     {"sendmmsg$alg", 349},
@@ -13751,18 +13687,6 @@ const call_t syscalls[] = {
     {"setxattr$trusted_overlay_origin", 209},
     {"setxattr$trusted_overlay_redirect", 209},
     {"setxattr$trusted_overlay_upper", 209},
-    {"shmat", 397},
-    {"shmctl$IPC_INFO", 396},
-    {"shmctl$IPC_RMID", 396},
-    {"shmctl$IPC_SET", 396},
-    {"shmctl$IPC_STAT", 396},
-    {"shmctl$SHM_INFO", 396},
-    {"shmctl$SHM_LOCK", 396},
-    {"shmctl$SHM_STAT", 396},
-    {"shmctl$SHM_UNLOCK", 396},
-    {"shmdt", 398},
-    {"shmget", 395},
-    {"shmget$private", 395},
     {"shutdown", 338},
     {"sigaltstack", 185},
     {"signalfd", 305},