LCOV - code coverage report
Current view: top level - discof/backup/generated - fd_snapmk_tile_seccomp.h (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 0 126 0.0 %
Date: 2026-10-22 18:10:43 Functions: 0 1 0.0 %

          Line data    Source code
       1             : /* THIS FILE WAS GENERATED BY generate_filters.py. DO NOT EDIT BY HAND! */
       2             : #ifndef HEADER_fd_src_discof_backup_generated_fd_snapmk_tile_seccomp_h
       3             : #define HEADER_fd_src_discof_backup_generated_fd_snapmk_tile_seccomp_h
       4             : 
       5             : #if defined(__linux__)
       6             : 
       7             : #include "../../../../src/util/fd_util_base.h"
       8             : #include <linux/audit.h>
       9             : #include <linux/capability.h>
      10             : #include <linux/filter.h>
      11             : #include <linux/seccomp.h>
      12             : #include <linux/bpf.h>
      13             : #include <linux/unistd.h>
      14             : #include <sys/syscall.h>
      15             : #include <signal.h>
      16             : #include <stddef.h>
      17             : 
      18             : #if defined(__i386__)
      19             : # define ARCH_NR  AUDIT_ARCH_I386
      20             : #elif defined(__x86_64__)
      21             : # define ARCH_NR  AUDIT_ARCH_X86_64
      22             : #elif defined(__aarch64__)
      23             : # define ARCH_NR AUDIT_ARCH_AARCH64
      24             : #elif defined(__riscv) && __riscv_xlen == 64
      25             : # define ARCH_NR AUDIT_ARCH_RISCV64
      26             : #else
      27             : # error "Target architecture is unsupported by seccomp."
      28             : #endif
      29             : 
      30             : #define FD_SECCOMP_ARG_LO_OFFSET(argno) ( offsetof( struct seccomp_data, args[(argno)] ) )
      31             : #define FD_SECCOMP_ARG_HI_OFFSET(argno) ( offsetof( struct seccomp_data, args[(argno)] ) + 4U )
      32             : 
      33             : #define FD_SECCOMP_ARG_LO(x) ((uint)(((ulong)(uint)(int)(x)      ) & 0xffffffffUL))
      34             : #define FD_SECCOMP_ARG_HI(x) ((uint)(((ulong)(x) >> 32) & 0xffffffffUL))
      35             : 
      36             : static const uint sock_filter_policy_fd_snapmk_tile_instr_cnt = 120;
      37             : 
      38           0 : static void populate_sock_filter_policy_fd_snapmk_tile( ulong out_cnt, struct sock_filter out[ static 120 ], uint logfile_fd, uint dir_fd, uint pool_min_fd, uint pool_max_fd, uint accdb_ro_fd, uint vote_stakes_fd ) {
      39           0 :   FD_TEST( out_cnt >= 120 );
      40           0 :   struct sock_filter filter[120] = {
      41             :     /* validate architecture */
      42           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, ( offsetof( struct seccomp_data, arch ) )),
      43           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ARCH_NR, 0, /* RET_KILL_PROCESS */ 18 ),
      44             :     /* load syscall number */
      45           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, ( offsetof( struct seccomp_data, nr ) )),
      46             :     /* check write */
      47           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_write, /* check_write */ 18, 0 ),
      48             :     /* check fsync */
      49           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_fsync, /* check_fsync */ 27, 0 ),
      50             :     /* check lseek */
      51           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_lseek, /* check_lseek */ 30, 0 ),
      52             :     /* check fstat */
      53           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_fstat, /* check_fstat */ 43, 0 ),
      54             :     /* check getdents64 */
      55           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_getdents64, /* check_getdents64 */ 48, 0 ),
      56             :     /* check newfstatat */
      57           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_newfstatat, /* check_newfstatat */ 51, 0 ),
      58             :     /* check ftruncate */
      59           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_ftruncate, /* check_ftruncate */ 56, 0 ),
      60             :     /* check fcntl */
      61           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_fcntl, /* check_fcntl */ 61, 0 ),
      62             :     /* check renameat2 */
      63           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_renameat2, /* check_renameat2 */ 70, 0 ),
      64             :     /* check preadv2 */
      65           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_preadv2, /* check_preadv2 */ 77, 0 ),
      66             :     /* check pread64 */
      67           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_pread64, /* check_pread64 */ 80, 0 ),
      68             :     /* check pwrite64 */
      69           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_pwrite64, /* check_pwrite64 */ 83, 0 ),
      70             :     /* allow sched_yield */
      71           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_sched_yield, /* RET_ALLOW */ 5, 0 ),
      72             :     /* check clock_nanosleep */
      73           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_clock_nanosleep, /* check_clock_nanosleep */ 85, 0 ),
      74             :     /* check exit */
      75           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_exit, /* check_exit */ 88, 0 ),
      76             :     /* check futex */
      77           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_futex, /* check_futex */ 91, 0 ),
      78             :     /* allow restart_syscall */
      79           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, SYS_restart_syscall, /* RET_ALLOW */ 1, 0 ),
      80             : //  RET_KILL_PROCESS:
      81             :     /* default deny */
      82           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
      83             : //  RET_ALLOW:
      84             :     /* allow */
      85           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
      86             : //  check_write:
      87             :     /* arg 0 low 32 bits */
      88           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
      89           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0x00000002U, /* write_ALLOW */ 7, /* or_1 */ 0 ),
      90             : //  or_1:
      91             :     /* arg 0 low 32 bits */
      92           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
      93           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(logfile_fd)), /* write_ALLOW */ 5, /* or_2 */ 0 ),
      94             : //  or_2:
      95             :     /* arg 0 low 32 bits */
      96           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
      97           0 :     BPF_JUMP( BPF_JMP | BPF_JGE | BPF_K, ((uint)(pool_min_fd)), /* and_3 */ 0, /* write_KILL */ 2 ),
      98             : //  and_3:
      99             :     /* arg 0 low 32 bits */
     100           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     101           0 :     BPF_JUMP( BPF_JMP | BPF_JGT | BPF_K, ((uint)(pool_max_fd)), /* write_KILL */ 0, /* write_ALLOW */ 1 ),
     102             : //  write_KILL:
     103           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     104             : //  write_ALLOW:
     105           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     106             : //  check_fsync:
     107             :     /* arg 0 low 32 bits */
     108           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     109           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(logfile_fd)), /* fsync_ALLOW */ 1, /* fsync_KILL */ 0 ),
     110             : //  fsync_KILL:
     111           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     112             : //  fsync_ALLOW:
     113           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     114             : //  check_lseek:
     115             :     /* arg 0 low 32 bits */
     116           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     117           0 :     BPF_JUMP( BPF_JMP | BPF_JGE | BPF_K, ((uint)(pool_min_fd)), /* and_5 */ 0, /* or_4 */ 2 ),
     118             : //  and_5:
     119             :     /* arg 0 low 32 bits */
     120           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     121           0 :     BPF_JUMP( BPF_JMP | BPF_JGT | BPF_K, ((uint)(pool_max_fd)), /* or_4 */ 0, /* lseek_ALLOW */ 9 ),
     122             : //  or_4:
     123             :     /* arg 0 low 32 bits */
     124           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     125           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(dir_fd)), /* and_6 */ 0, /* lseek_KILL */ 6 ),
     126             : //  and_6:
     127             :     /* arg 1 high 32 bits */
     128           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_HI_OFFSET(1)),
     129           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0x00000000U, /* arg_hi_eq_8 */ 0, /* lseek_KILL */ 4 ),
     130             : //  arg_hi_eq_8:
     131             :     /* arg 1 low 32 bits */
     132           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(1)),
     133           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0x00000000U, /* and_7 */ 0, /* lseek_KILL */ 2 ),
     134             : //  and_7:
     135             :     /* arg 2 low 32 bits */
     136           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(2)),
     137           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(SEEK_SET), /* lseek_ALLOW */ 1, /* lseek_KILL */ 0 ),
     138             : //  lseek_KILL:
     139           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     140             : //  lseek_ALLOW:
     141           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     142             : //  check_fstat:
     143             :     /* arg 0 low 32 bits */
     144           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     145           0 :     BPF_JUMP( BPF_JMP | BPF_JGE | BPF_K, ((uint)(pool_min_fd)), /* and_9 */ 0, /* fstat_KILL */ 2 ),
     146             : //  and_9:
     147             :     /* arg 0 low 32 bits */
     148           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     149           0 :     BPF_JUMP( BPF_JMP | BPF_JGT | BPF_K, ((uint)(pool_max_fd)), /* fstat_KILL */ 0, /* fstat_ALLOW */ 1 ),
     150             : //  fstat_KILL:
     151           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     152             : //  fstat_ALLOW:
     153           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     154             : //  check_getdents64:
     155             :     /* arg 0 low 32 bits */
     156           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     157           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(dir_fd)), /* getdents64_ALLOW */ 1, /* getdents64_KILL */ 0 ),
     158             : //  getdents64_KILL:
     159           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     160             : //  getdents64_ALLOW:
     161           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     162             : //  check_newfstatat:
     163             :     /* arg 0 low 32 bits */
     164           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     165           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(dir_fd)), /* and_10 */ 0, /* newfstatat_KILL */ 2 ),
     166             : //  and_10:
     167             :     /* arg 3 low 32 bits */
     168           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(3)),
     169           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(AT_SYMLINK_NOFOLLOW), /* newfstatat_ALLOW */ 1, /* newfstatat_KILL */ 0 ),
     170             : //  newfstatat_KILL:
     171           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     172             : //  newfstatat_ALLOW:
     173           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     174             : //  check_ftruncate:
     175             :     /* arg 0 low 32 bits */
     176           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     177           0 :     BPF_JUMP( BPF_JMP | BPF_JGE | BPF_K, ((uint)(pool_min_fd)), /* and_11 */ 0, /* ftruncate_KILL */ 2 ),
     178             : //  and_11:
     179             :     /* arg 0 low 32 bits */
     180           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     181           0 :     BPF_JUMP( BPF_JMP | BPF_JGT | BPF_K, ((uint)(pool_max_fd)), /* ftruncate_KILL */ 0, /* ftruncate_ALLOW */ 1 ),
     182             : //  ftruncate_KILL:
     183           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     184             : //  ftruncate_ALLOW:
     185           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     186             : //  check_fcntl:
     187             :     /* arg 0 low 32 bits */
     188           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     189           0 :     BPF_JUMP( BPF_JMP | BPF_JGE | BPF_K, ((uint)(pool_min_fd)), /* and_12 */ 0, /* fcntl_KILL */ 6 ),
     190             : //  and_12:
     191             :     /* arg 0 low 32 bits */
     192           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     193           0 :     BPF_JUMP( BPF_JMP | BPF_JGT | BPF_K, ((uint)(pool_max_fd)), /* fcntl_KILL */ 4, /* and_13 */ 0 ),
     194             : //  and_13:
     195             :     /* arg 1 low 32 bits */
     196           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(1)),
     197           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(F_SETLK), /* fcntl_ALLOW */ 3, /* or_14 */ 0 ),
     198             : //  or_14:
     199             :     /* arg 1 low 32 bits */
     200           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(1)),
     201           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(F_SETLKW), /* fcntl_ALLOW */ 1, /* fcntl_KILL */ 0 ),
     202             : //  fcntl_KILL:
     203           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     204             : //  fcntl_ALLOW:
     205           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     206             : //  check_renameat2:
     207             :     /* arg 0 low 32 bits */
     208           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     209           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(dir_fd)), /* and_15 */ 0, /* renameat2_KILL */ 4 ),
     210             : //  and_15:
     211             :     /* arg 2 low 32 bits */
     212           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(2)),
     213           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(dir_fd)), /* and_16 */ 0, /* renameat2_KILL */ 2 ),
     214             : //  and_16:
     215             :     /* arg 4 low 32 bits */
     216           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(4)),
     217           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0x00000000U, /* renameat2_ALLOW */ 1, /* renameat2_KILL */ 0 ),
     218             : //  renameat2_KILL:
     219           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     220             : //  renameat2_ALLOW:
     221           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     222             : //  check_preadv2:
     223             :     /* arg 0 low 32 bits */
     224           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     225           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(accdb_ro_fd)), /* preadv2_ALLOW */ 1, /* preadv2_KILL */ 0 ),
     226             : //  preadv2_KILL:
     227           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     228             : //  preadv2_ALLOW:
     229           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     230             : //  check_pread64:
     231             :     /* arg 0 low 32 bits */
     232           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     233           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(vote_stakes_fd)), /* pread64_ALLOW */ 1, /* pread64_KILL */ 0 ),
     234             : //  pread64_KILL:
     235           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     236             : //  pread64_ALLOW:
     237           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     238             : //  check_pwrite64:
     239             :     /* arg 0 low 32 bits */
     240           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     241           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, ((uint)(vote_stakes_fd)), /* pwrite64_ALLOW */ 1, /* pwrite64_KILL */ 0 ),
     242             : //  pwrite64_KILL:
     243           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     244             : //  pwrite64_ALLOW:
     245           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     246             : //  check_clock_nanosleep:
     247             :     /* arg 0 low 32 bits */
     248           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     249           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(CLOCK_REALTIME), /* clock_nanosleep_ALLOW */ 1, /* clock_nanosleep_KILL */ 0 ),
     250             : //  clock_nanosleep_KILL:
     251           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     252             : //  clock_nanosleep_ALLOW:
     253           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     254             : //  check_exit:
     255             :     /* arg 0 low 32 bits */
     256           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(0)),
     257           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0x00000000U, /* exit_ALLOW */ 1, /* exit_KILL */ 0 ),
     258             : //  exit_KILL:
     259           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     260             : //  exit_ALLOW:
     261           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     262             : //  check_futex:
     263             :     /* arg 1 low 32 bits */
     264           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(1)),
     265           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(FUTEX_WAIT), /* futex_ALLOW */ 7, /* or_17 */ 0 ),
     266             : //  or_17:
     267             :     /* arg 1 low 32 bits */
     268           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(1)),
     269           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(FUTEX_WAKE), /* futex_ALLOW */ 5, /* or_18 */ 0 ),
     270             : //  or_18:
     271             :     /* arg 1 low 32 bits */
     272           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(1)),
     273           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, FD_SECCOMP_ARG_LO(FUTEX_WAIT_BITSET), /* and_19 */ 0, /* futex_KILL */ 2 ),
     274             : //  and_19:
     275             :     /* arg 2 low 32 bits */
     276           0 :     BPF_STMT( BPF_LD | BPF_W | BPF_ABS, FD_SECCOMP_ARG_LO_OFFSET(2)),
     277           0 :     BPF_JUMP( BPF_JMP | BPF_JEQ | BPF_K, 0x00000000U, /* futex_ALLOW */ 1, /* futex_KILL */ 0 ),
     278             : //  futex_KILL:
     279           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_KILL_PROCESS ),
     280             : //  futex_ALLOW:
     281           0 :     BPF_STMT( BPF_RET | BPF_K, SECCOMP_RET_ALLOW ),
     282           0 :   };
     283           0 :   fd_memcpy( out, filter, sizeof( filter ) );
     284           0 : }
     285             : 
     286             : #endif /* defined(__linux__) */
     287             : 
     288             : #endif /* HEADER_fd_src_discof_backup_generated_fd_snapmk_tile_seccomp_h */

Generated by: LCOV version 1.14