Searched refs:CAPPED_DATA (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_capped.c | 232 sql_insert_caller_info(expr, CAPPED_DATA, i, "$", "1"); in match_caller_info() 246 sql_insert_caller_info(call, CAPPED_DATA, param, printed_name, "1"); in struct_member_callback() 284 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped() 305 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped() 314 sql_insert_return_states(return_id, return_ranges, CAPPED_DATA, in print_return_implies_capped() 340 select_caller_info_hook(set_param_capped_data, CAPPED_DATA); in register_capped() 349 select_return_states_hook(CAPPED_DATA, &db_return_states_capped); in register_capped()
|
H A D | smatch_kernel_user_data.c | 1527 select_return_states_hook(CAPPED_DATA, &returns_param_capped); in register_kernel_user_data()
|
H A D | smatch.h | 830 CAPPED_DATA = 1004, enumerator
|