def seccomp_check.go

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

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

223# ok is the verdict so far; the loop stops at the instruction after a failure
224def seccomp_check.go(xs: List<&2, I.BpfOp>, +pc: Nat, ok: Result<&2, &2, I.BpfError, Unit>) -> Result<&2, &2, I.BpfError, Unit>:
225  match xs:
226    case Nil{}:
227      ok
228    case Con{op, t}:
229      match ok:
230        case Fail{e}:
231          Fail{e}
232        case Done{u}:
233          seccomp_check.go(t, 1n+pc, seccomp_check.op(op, pc))