Home
last modified time | relevance | path

Searched refs:push_int (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_untracked_param.c289 push_int(&tracked_stack, tracked); in match_inline_start()
H A Dsmatch_helper.c1247 void push_int(struct int_stack **stack, int num) in push_int() function
H A Dsmatch_kernel_user_data.c1469 push_int(&gets_data_stack, func_gets_user_data); in match_inline_start()
H A Dsmatch.h467 void push_int(struct int_stack **stack, int num);