def bpf_mem.ldx
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
165def bpf_mem.ldx(st: BpfState, k: U32) -> BpfState:
166 match st:
167 case BpfState{a, x, +mem}:
168 BpfState{a, bpf_mem.get(mem, k), mem}
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
165def bpf_mem.ldx(st: BpfState, k: U32) -> BpfState:
166 match st:
167 case BpfState{a, x, +mem}:
168 BpfState{a, bpf_mem.get(mem, k), mem}