Symbol: __shr_imm64
drivers/net/ethernet/netronome/nfp/bpf/jit.c
2138
return __shr_imm64(nfp_prog, dst, insn->imm);
drivers/net/ethernet/netronome/nfp/bpf/jit.c
2180
return __shr_imm64(nfp_prog, dst, umin);