def bpf_check.mem

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

import bend-osdev-bpf@0.1.0.0/validate.bend as Validate

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

74def bpf_check.mem(+k: U32, +pc: Nat, r: Nat) -> Result<&2, &2, I.BpfError, Unit>:
75  bpf_both(bpf_chk(U32.is_lt(k, I.bpf_memwords()), I.BpfErrScratch{pc}), bpf_check.next(pc, r))

Uses (10)

Used by (2)