def seccomp_check.abs
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
196def seccomp_check.abs(size: I.BpfSize, +k: U32, +pc: Nat) -> Result<&2, &2, I.BpfError, Unit>:
197 match size:
198 case I.BpfW{}:
199 seccomp_check.word(k, pc)
200 case other:
201 Fail{I.BpfErrSeccompLoad{pc}}