def bpf_check.div

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

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

65def bpf_check.div(o: I.BpfAluOp, src: I.BpfSrc, pc: Nat) -> Result<&2, &2, I.BpfError, Unit>:
66  match o:
67    case I.BpfDiv{}:
68      bpf_check.k_div(src, pc)
69    case I.BpfMod{}:
70      bpf_check.k_div(src, pc)
71    case other:
72      Done{Unit{}}

Uses (7)

Used by (2)