Seccomp.SeccompAction.of_u32: def of bend-osdev-bpf@0.1.0.0
Import: import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccomp
Lines 93-106 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=93&end_line=106

import Base

# the action of a SECCOMP_RET_* value: SECCOMP_RET_ACTION_FULL (0xffff0000)
# selects the action, SECCOMP_RET_DATA (0xffff) the data
def SeccompAction.of_u32(+v: U32) -> SeccompAction:
  +act = U32.and(4294901760, v)
  +d = U32.and(65535, v)
  SeccompAction.pick(U32.is_eq(act, 2147483648), SeccompKillProcess{},
    SeccompAction.pick(U32.is_eq(act, 0), SeccompKillThread{},
    SeccompAction.pick(U32.is_eq(act, 196608), SeccompTrap{d},
    SeccompAction.pick(U32.is_eq(act, 327680), SeccompErrno{d},
    SeccompAction.pick(U32.is_eq(act, 2143289344), SeccompUserNotif{},
    SeccompAction.pick(U32.is_eq(act, 2146435072), SeccompTrace{d},
    SeccompAction.pick(U32.is_eq(act, 2147221504), SeccompLog{},
    SeccompAction.pick(U32.is_eq(act, 2147418112), SeccompAllow{},
    SeccompKillProcess{}))))))))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&name=SeccompAction
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bpf@0.1.0.0/seccomp.bend&name=SeccompAction.pick