def bpf_load

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

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

import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I

124def bpf_load(inp: BpfInput, size: I.BpfSize, k: U32) -> Maybe<&2, U32>:
125  match inp:
126    case BpfInput{order, data}:
127      bpf_load.at(order, size, data, U32.to_nat(k))

Uses (6)

Used by (2)