~/jendhub

def bpf_of_octets_with

bend-osdev-bpf@0.1.0.0 · insn.bend:437

import bend-osdev-bpf@0.1.0.0/insn.bend as Insn
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

437# a stored program's instructions: at most max bytes, a multiple of 8. The
438# limit is checked first, by looking for the byte at offset max, so a longer
439# input costs max steps whatever its length
440def bpf_of_octets_with(+max: Nat, +order: BpfOrder, +o: B.Octets) -> Result<&2, &2, BpfError, List<&2, BpfRaw>>:
441  bpf_of_octets.fits(B.Octets.at(o, max), max, order, o)

Uses (9)

Used by (5)