def bpf_init

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

import Base

48def bpf_init() -> BpfState:
49  BpfState{0, 0, List.replicate(U32, 16n, 0)}