~/jendhub

def bpf_check.mem_init

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

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

233def bpf_check.mem_init(need: Bool, n: Nat, +prog: List<&2, I.BpfOp>) -> Result<&2, &2, I.BpfError, Unit>:
234  match need:
235    case False{}:
236      Done{Unit{}}
237    case True{}:
238      bpf_mem.go(prog, 0n, BpfInitStep{Done{Unit{}}, 0, bpf_mem.none(n, Nil{})})

Uses (10)

Used by (1)