type BpfStep

bend-osdev-bpf@0.1.0.0 · bpf.bend:41

import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf
import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I

41# what an instruction leads to: skip some instructions and go on, answer,
42# or fail
43type BpfStep is Data:
44  BpfNext{skip: Nat, st: BpfState}
45  BpfStop{value: U32}
46  BpfFault{error: I.BpfError}

Uses (4)

Used by (15)