def run_raw.go

bend-osdev-bpf@0.1.0.0 · check.bend:35

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

35def run_raw.go(o: B.Octets, p: Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>) -> Result<&2, &2, I.BpfError, U32>:
36  match p:
37    case Fail{e}:
38      Fail{e}
39    case Done{ops}:
40      R.bpf_run(R.bpf_packet(o), ops)