usr/src/tools/smatch/src/check_held_dev.c

116

return_implies_state_sval(func, valid_ptr_min_sval, valid_ptr_max_sval,

usr/src/tools/smatch/src/check_locking.c

1094

return_implies_state_sval(lock->function, valid_ptr_min_sval, valid_ptr_max_sval, &match_lock_held, idx);

usr/src/tools/smatch/src/check_unwind.c

197

return_implies_state_sval("__request_region", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT_PTR(1));

usr/src/tools/smatch/src/check_unwind.c

202

return_implies_state_sval("ioremap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT_PTR(-1));

usr/src/tools/smatch/src/check_unwind.c

206

return_implies_state_sval("pci_iomap", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted, INT_PTR(-1));

usr/src/tools/smatch/src/check_unwind.c

211

return_implies_state_sval("__create_workqueue_key", valid_ptr_min_sval, valid_ptr_max_sval, &request_granted,

usr/src/tools/smatch/src/smatch.h

192

void return_implies_state_sval(const char *look_for, sval_t start, sval_t end,

usr/src/tools/smatch/src/smatch_struct_assignment.c

575

return_implies_state_sval("kmemdup", valid_ptr_min_sval, valid_ptr_max_sval, &match_memdup, NULL);