def bpf_load.ind

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

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

129# X + k does not wrap: an offset past 2^32 is outside the input
130def bpf_load.ind(inp: BpfInput, size: I.BpfSize, x: U32, k: U32) -> Maybe<&2, U32>:
131  match inp:
132    case BpfInput{order, data}:
133      bpf_load.at(order, size, data, Nat.add(U32.to_nat(x), U32.to_nat(k)))

Uses (7)

Used by (2)