def bpf_validate

bend-osdev-bpf@0.1.0.0 · validate.bend:265

import bend-osdev-bpf@0.1.0.0/validate.bend as Validate

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

265# the default options, with this instruction limit
266def bpf_validate(limit: Nat, +prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, Unit>:
267  bpf_validate_with(BpfValidateOptions{limit, True{}}, prog)

Uses (9)

Used by (13)