Symbol: name_means_synchronize
usr/src/tools/smatch/src/check_double_checking.c
150
if (name_means_synchronize(ident))
usr/src/tools/smatch/src/check_double_checking.c
161
if (name_means_synchronize(ident))