def bpf_mem.stx
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
175def bpf_mem.stx(st: BpfState, k: U32) -> BpfState:
176 match st:
177 case BpfState{a, +x, mem}:
178 BpfState{a, x, bpf_mem.set(mem, k, x)}
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
175def bpf_mem.stx(st: BpfState, k: U32) -> BpfState:
176 match st:
177 case BpfState{a, +x, mem}:
178 BpfState{a, x, bpf_mem.set(mem, k, x)}