usr/src/tools/smatch/src/smatch_estate.c

57

estate_set_treat_untagged(tmp);

usr/src/tools/smatch/src/smatch_extra.h

155

void estate_set_treat_untagged(struct smatch_state *state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

101

estate_set_treat_untagged(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

120

estate_set_treat_untagged(new);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1200

estate_set_treat_untagged(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1274

estate_set_treat_untagged(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

602

estate_set_treat_untagged(state);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

648

estate_set_treat_untagged(state);