~/jendhub

def bpf_check.k_div

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

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

58def bpf_check.k_div(src: I.BpfSrc, pc: Nat) -> Result<&2, &2, I.BpfError, Unit>:
59  match src:
60    case I.BpfK{k}:
61      bpf_chk(Bool.not(U32.is_zero(k)), I.BpfErrDivZero{pc})
62    case I.BpfX{}:
63      Done{Unit{}}

Uses (8)

Used by (1)