law seccomp_validated_acts

bend-osdev-bpf@0.1.0.0 · LAWS.bend:114

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
import bend-osdev-bpf@0.1.0.0/seccomp.bend as S

114law seccomp_validated_acts:
115  for +opts: V.BpfValidateOptions
116  for +order: I.BpfOrder
117  for +prog: List<&2, I.BpfOp>
118  for +d: S.SeccompData
119  for +ok: {S.seccomp_validate_with(opts, prog) == Done{Unit{}} : Result<&2, &2, I.BpfError, Unit>}
120  {Result.is_done(&2, &2, I.BpfError, S.SeccompAction, S.seccomp_run(order, prog, d)) == True{} : Bool}