Symbol: pop_int
usr/src/tools/smatch/src/smatch.h
468
int pop_int(struct int_stack **stack);
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1474
func_gets_user_data = pop_int(&gets_data_stack);
usr/src/tools/smatch/src/smatch_untracked_param.c
294
tracked = pop_int(&tracked_stack);