def bpf_shr

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

import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpf

import Base

204def bpf_shr(small: Bool, a: U32, n: U32) -> U32:
205  match small:
206    case True{}:
207      U32.shrn(a, U32.to_nat(n))
208    case False{}:
209      0

Uses (4)

Used by (1)

bend-osdev-bpf@0.1.0.0/bpf:bpf_alu