def SeccompData.to_octets

bend-osdev-bpf@0.1.0.0 · seccomp.bend:45

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

45# the 64 bytes of struct seccomp_data, in the given byte order
46def SeccompData.to_octets(+order: I.BpfOrder, d: SeccompData) -> B.Octets:
47  match d:
48    case SeccompData{nr, arch, ip, a0, a1, a2, a3, a4, a5}:
49      B.Octets.concat([SeccompData.field32(order, nr), SeccompData.field32(order, arch), SeccompData.field64(order, ip), SeccompData.field64(order, a0), SeccompData.field64(order, a1), SeccompData.field64(order, a2), SeccompData.field64(order, a3), SeccompData.field64(order, a4), SeccompData.field64(order, a5)])