type BpfError

bend-osdev-bpf@0.1.0.0 · insn.bend:88

import Base

88# Every failure: decoding (BadCode, Truncated, StoredTooLong), validation
89# (Empty to SeccompInsn), installing seccomp filters (PathTooLong), and
90# running a program that was not validated (FellOff, BadScratch).
91type BpfError is Data:
92  BpfErrBadCode{pc: Nat, code: U32}
93  BpfErrTruncated{len: Nat}
94  BpfErrStoredTooLong{max: Nat}
95  BpfErrEmpty{}
96  BpfErrTooLong{len: Nat}
97  BpfErrJump{pc: Nat}
98  BpfErrJumpField{pc: Nat}
99  BpfErrNoReturn{pc: Nat}
100  BpfErrScratch{pc: Nat}
101  BpfErrDivZero{pc: Nat}
102  BpfErrMemInit{pc: Nat}
103  BpfErrSeccompLoad{pc: Nat}
104  BpfErrSeccompInsn{pc: Nat}
105  BpfErrPathTooLong{total: Nat}
106  BpfErrFellOff{}
107  BpfErrBadScratch{k: U32}