def bpf_check.next

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

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

54# an instruction that goes on to the next one must not be the last
55def bpf_check.next(pc: Nat, r: Nat) -> Result<&2, &2, I.BpfError, Unit>:
56  bpf_chk(Nat.is_lt(0n, r), I.BpfErrNoReturn{pc})

Uses (6)

Used by (5)