def bpf_validate.ops

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

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

250def bpf_validate.ops(v: Result<&2, &2, I.BpfError, Unit>, +n: Nat, need: Bool, +prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, Unit>:
251  match v:
252    case Fail{e}:
253      Fail{e}
254    case Done{u}:
255      bpf_validate.mem(bpf_check.go(prog, 0n, Done{Unit{}}, n), need, n, prog)