~/jendhub

def seccomp_check.word

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

import bend-osdev-bpf@0.1.0.0/seccomp.bend as Seccomp
import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I
import bend-osdev-bpf@0.1.0.0/validate.bend as V

193def seccomp_check.word(+k: U32, +pc: Nat) -> Result<&2, &2, I.BpfError, Unit>:
194  V.bpf_chk(Bool.and(U32.is_eq(U32.and(k, 3), 0), U32.is_lt(k, seccomp_data_size())), I.BpfErrSeccompLoad{pc})

Uses (11)

Used by (1)