Symbol: ashr_reg64_lt32_high
drivers/net/ethernet/netronome/nfp/bpf/jit.c
2274
ashr_reg64_lt32_high(nfp_prog, dst, src);
drivers/net/ethernet/netronome/nfp/bpf/jit.c
2313
ashr_reg64_lt32_high(nfp_prog, dst, src);