Symbol: bank_put
usr/src/tools/smatch/src/dominate.c
119
bank_put(bank, bb);
usr/src/tools/smatch/src/dominate.c
89
bank_put(bank, y);