Symbol: pseudo_user_list_empty
usr/src/tools/smatch/src/linearize.h
259
return !pseudo_user_list_empty(p->users);
usr/src/tools/smatch/src/simplify.c
254
if (pseudo_user_list_empty(*list))