~/jendhub

def bpf_mem.none

bend-osdev-bpf@0.1.0.0 · validate.bend:225

import bend-osdev-bpf@0.1.0.0/validate.bend as Validate
import Base

225# n masks of 65535: no jump reaches any instruction yet
226def bpf_mem.none(n: Nat, acc: List<&2, U32>) -> List<&2, U32>:
227  match n:
228    case 0n:
229      acc
230    case 1n+p:
231      bpf_mem.none(p, Con{65535, acc})

Uses (3)

Used by (1)