def bpf_validate.mem

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

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

243def bpf_validate.mem(v: Result<&2, &2, I.BpfError, Unit>, need: Bool, n: Nat, +prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, Unit>:
244  match v:
245    case Fail{e}:
246      Fail{e}
247    case Done{u}:
248      bpf_check.mem_init(need, n, prog)

Uses (8)

Used by (3)