Home
last modified time | relevance | path

Searched refs:CAPPED_DATA (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c232 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 Dsmatch_kernel_user_data.c1527 select_return_states_hook(CAPPED_DATA, &returns_param_capped); in register_kernel_user_data()
H A Dsmatch.h830 CAPPED_DATA = 1004, enumerator