def bpf_mem.read

bend-osdev-bpf@0.1.0.0 · validate.bend:175

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

175def bpf_mem.read(+pc: Nat, +now: U32, +k: U32, ahead: List<&2, U32>) -> BpfInitStep:
176  BpfInitStep{bpf_chk(Bool.not(U32.is_zero(U32.and(now, bpf_mem.bit(k)))), I.BpfErrMemInit{pc}), now, ahead}