~/jendhub

def seccomp_check.alu

bend-osdev-bpf@0.1.0.0 · seccomp.bend:203

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

203def seccomp_check.alu(o: I.BpfAluOp, pc: Nat) -> Result<&2, &2, I.BpfError, Unit>:
204  match o:
205    case I.BpfMod{}:
206      Fail{I.BpfErrSeccompInsn{pc}}
207    case other:
208      Done{Unit{}}

Uses (5)

Used by (1)