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