def seccomp_eval
import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccompimport Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I
275# the action of a stack of filters, the most recently installed first; with
276# no filter, ALLOW
277def seccomp_eval(stack: List<&2, List<&2, I.BpfOp>>, +order: I.BpfOrder, +d: SeccompData) -> Result<&2, &2, I.BpfError, SeccompAction>:
278 match stack:
279 case Nil{}:
280 Done{SeccompAllow{}}
281 case Con{f, rest}:
282 seccomp_eval.join(seccomp_run(order, f, d), seccomp_eval(rest, order, d))