Symbol: NOSPEC_WB
usr/src/tools/smatch/src/check_nospec.c
134
sql_insert_return_states(return_id, return_ranges, NOSPEC_WB, -1, "", "");
usr/src/tools/smatch/src/check_nospec.c
265
select_return_states_hook(NOSPEC_WB, &db_returns_barrier);