def bpf_scratch

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

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

180# a scratch access goes on only if its index is in range
181def bpf_scratch(ok: Bool, k: U32, st: BpfState) -> BpfStep:
182  match ok:
183    case True{}:
184      BpfNext{0n, st}
185    case False{}:
186      BpfFault{I.BpfErrBadScratch{k}}

Uses (5)

Used by (3)