Symbol: push_int
usr/src/tools/smatch/src/smatch.h
467
void push_int(struct int_stack **stack, int num);
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1469
push_int(&gets_data_stack, func_gets_user_data);
usr/src/tools/smatch/src/smatch_untracked_param.c
289
push_int(&tracked_stack, tracked);