def bpf_len

bend-osdev-bpf@0.1.0.0 · bpf.bend:147

import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf

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

147def bpf_len(inp: BpfInput) -> U32:
148  match inp:
149    case BpfInput{order, data}:
150      U32.from_nat(B.Octets.len(data))

Uses (4)

Used by (1)

bend-osdev-bpf@0.1.0.0/bpf:bpf_exec