Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/rds/recv.c rds_inc_put() -> (struct rds_transport)->inc_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_conn | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_conn->c_trans | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_item.next | 4096-ptr_max |
| CAPPED_DATA | 0 | &inc->i_item | 1 |
| DATA_SOURCE | 0 | inc | $0 |
| CONTAINER | 0 | -152-80-24+0 | $(-1) |
| PARAM_COMPARE | 0 | &inc->i_item | == $0->i_item.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &rs_tcp->t_conn_path_lock | ||
| HALF_LOCKED2 | &rtn->rds_tcp_accept_lock | ||
| HALF_LOCKED2 | osock->sk |