Seccomp.SeccompData.field32: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccomp
Lines 31-36 of bend-osdev-bpf@0.1.0.0/seccomp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&start_line=31&end_line=36

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

def SeccompData.field32(order: I.BpfOrder, v: U32) -> B.Octets:
  match order:
    case I.BpfLittle{}:
      B.Octets.le32(v)
    case I.BpfBig{}:
      B.Octets.be32(v)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/insn.bend&name=BpfOrder
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.be32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.le32