def seccomp_validate_with
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
import bend-osdev-bpf@0.1.0.0/validate.bend as V
242# bpf_validate's rules, only aligned 32-bit loads inside seccomp_data, and
243# no BPF_MOD (checked once bpf_validate's rules hold)
244def seccomp_validate_with(opts: V.BpfValidateOptions, +prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, Unit>:
245 seccomp_validate.go(V.bpf_validate_with(opts, prog), prog)