def bpf_jsel
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
260def bpf_jsel(hit: Bool, jt: U32, jf: U32) -> Nat:
261 match hit:
262 case True{}:
263 U32.to_nat(jt)
264 case False{}:
265 U32.to_nat(jf)
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
260def bpf_jsel(hit: Bool, jt: U32, jf: U32) -> Nat:
261 match hit:
262 case True{}:
263 U32.to_nat(jt)
264 case False{}:
265 U32.to_nat(jf)