def seccomp_path_len

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

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

295def seccomp_path_len(stack: List<&2, List<&2, I.BpfOp>>) -> Nat:
296  match stack:
297    case Nil{}:
298      0n
299    case Con{f, rest}:
300      Nat.add(Nat.add(V.bpf_count(f), 4n), seccomp_path_len(rest))