Home
last modified time | relevance | path

Searched refs:return_implies_state_sval (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_unwind.c197return_implies_state_sval("__request_region", valid_ptr_min_sval, valid_ptr_max_sval, &request_gra… in check_unwind()
202return_implies_state_sval("ioremap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT… in check_unwind()
206return_implies_state_sval("pci_iomap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, I… in check_unwind()
211return_implies_state_sval("__create_workqueue_key", valid_ptr_min_sval, valid_ptr_max_sval, &reque… in check_unwind()
H A Dcheck_held_dev.c116 return_implies_state_sval(func, valid_ptr_min_sval, valid_ptr_max_sval, in register_returns_held_funcs()
H A Dsmatch_struct_assignment.c575 return_implies_state_sval("kmemdup", valid_ptr_min_sval, valid_ptr_max_sval, &match_memdup, NULL); in register_struct_assignment()
H A Dsmatch_function_hooks.c142 void return_implies_state_sval(const char *look_for, sval_t start, sval_t end, in return_implies_state_sval() function
H A Dcheck_locking.c1094return_implies_state_sval(lock->function, valid_ptr_min_sval, valid_ptr_max_sval, &match_lock_held… in register_lock()
H A Dsmatch.h192 void return_implies_state_sval(const char *look_for, sval_t start, sval_t end,