bend-osdev-bpf

Releases (1)

• 0.1.0.0 indexed

Definitions (317)

validate.bend

• def bpf_mem.meet
• type BpfInitStep
• def bpf_mem.read
• def bpf_mem.stepone instruction, given the slots written on every path to it
• def bpf_mem.head
• def bpf_mem.tail
• def bpf_mem.go
• def bpf_mem.nonen masks of 65535: no jump reaches any instruction yet
• def bpf_check.mem_init
• def bpf_validate.mem
• def bpf_validate.ops
• def bpf_validate_withDone{Unit{}} if the program may run, or the first rule it breaks: the length, then each instruction's own rules in order, then scratch memory
• def bpf_validatethe default options, with this instruction limit
• def bpf_prepare.ok
• def bpf_prepare.go
• def bpf_prepare_withdecode a stored program and validate it: the instructions, ready to run
• def bpf_preparethe same, with the default options and this instruction limit