def SeccompData.field64
import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccompimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W
import bend-osdev-bpf@0.1.0.0/insn.bend as I
38def SeccompData.field64(order: I.BpfOrder, v: W.W64) -> B.Octets:
39 match order:
40 case I.BpfLittle{}:
41 B.Octets.le64(v)
42 case I.BpfBig{}:
43 B.Octets.be64(v)