def bpf_load.msh

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

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

142def bpf_load.msh(inp: BpfInput, k: U32) -> Maybe<&2, U32>:
143  match inp:
144    case BpfInput{order, data}:
145      bpf_load.msh.fin(B.Octets.at(data, U32.to_nat(k)))

Uses (6)

Used by (2)