Symbol: simplify_mask_shift
usr/src/tools/smatch/src/simplify.c
1054
return simplify_mask_shift(def, mask);
usr/src/tools/smatch/src/simplify.c
1500
return simplify_mask_shift(def, mask);