SYS_MAXSYSCALL
policy.strp_maxents = SYS_MAXSYSCALL;
for (i = 0; i < SYS_MAXSYSCALL; i++) {
.sv_size = SYS_MAXSYSCALL,
.sv_size = SYS_MAXSYSCALL,
for (i = 1; i < SYS_MAXSYSCALL; ++i)
if (i == SYS_MAXSYSCALL)
} else if (*offset < 0 || *offset >= SYS_MAXSYSCALL)
uint64_t tot[SYS_MAXSYSCALL];
uint64_t timings[SYS_MAXSYSCALL][SCWC_MAXT];
for (i = 0; i < SYS_MAXSYSCALL; ++i) {
uint64_t syscallsworstcase[SYS_MAXSYSCALL];
num = random_int(0, SYS_MAXSYSCALL);