def seccomp_check.op

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

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

210def seccomp_check.op(op: I.BpfOp, +pc: Nat) -> Result<&2, &2, I.BpfError, Unit>:
211  match op:
212    case I.BpfLdAbs{size, k}:
213      seccomp_check.abs(size, k, pc)
214    case I.BpfLdInd{size, k}:
215      Fail{I.BpfErrSeccompLoad{pc}}
216    case I.BpfLdxMsh{k}:
217      Fail{I.BpfErrSeccompLoad{pc}}
218    case I.BpfAlu{o, src}:
219      seccomp_check.alu(o, pc)
220    case other:
221      Done{Unit{}}

Uses (7)

Used by (1)