def seccomp_check.op
import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccompimport 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{}}