def bpf_div

bend-osdev-bpf@0.1.0.0 · bpf.bend:211

import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf

import Base

211def bpf_div(zero: Bool, a: U32, v: U32) -> Maybe<&2, U32>:
212  match zero:
213    case True{}:
214      None{}
215    case False{}:
216      Some{U32.div(a, v)}

Uses (4)

Used by (1)

bend-osdev-bpf@0.1.0.0/bpf:bpf_alu