def seccomp_validate

bend-osdev-bpf@0.1.0.0 · seccomp.bend:247

import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I
import bend-osdev-bpf@0.1.0.0/validate.bend as V

247# the default options (what Linux checks), with this instruction limit
248def seccomp_validate(limit: Nat, +prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, Unit>:
249  seccomp_validate_with(V.BpfValidateOptions{limit, True{}}, prog)