Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- net/rds/ib_cm.c, line 1208
- net/rds/ib_recv.c
- net/rds/loop.c, line 102
- net/rds/recv.c
- net/rds/tcp.c, line 162
- net/rds/tcp_connect.c, line 293
- net/rds/tcp_recv.c, line 251
Smatch caller information:
net/rds/ib_cm.c rds_ib_conn_path_shutdown() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/rds/tcp_connect.c rds_tcp_conn_path_shutdown() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 1-u64max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/rds/ib_recv.c rds_ib_process_recv() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_conn | 4096-ptr_max |
| NOCHECK_CALL |
net/rds/ib_recv.c rds_ib_recv_clear_one() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| NOCHECK_CALL | |||
| LOCK2 | &pool->lock |
net/rds/tcp.c rds_tcp_reset_callbacks() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 1-u64max |
| NOCHECK_CALL | |||
| LOCK2 | &rs_tcp->t_conn_path_lock | ||
| LOCK2 | &rtn->rds_tcp_accept_lock | ||
| LOCK2 | osock->sk | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct rds_tcp_connection)->t_conn_path_lock | ||
| TYPE_LOCK | (struct rds_tcp_net)->rds_tcp_accept_lock |
net/rds/loop.c rds_loop_xmit() -> rds_inc_put()
| 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_path | 4096-ptr_max |
| NOCHECK_CALL |
net/rds/recv.c rds_clear_recv_queue() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &inode->i_rwsem |
net/rds/recv.c rds_recvmsg() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| PARAM_COMPARE | 0 | &inc->i_item | == $0->i_item.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/rds/recv.c rds_recvmsg() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_item.next | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_item.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_item.prev->next | 4096-ptr_max |
| CAPPED_DATA | 0 | inc->i_hdr.h_len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | &inc->i_usercopy.rdma_cookie | |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/rds/recv.c rds_still_queued() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inc | 4096-ptr_max |
| PARAM_VALUE | 0 | inc->i_conn | 4096-ptr_max |
| DATA_SOURCE | 0 | inc | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vq->mutex |
net/rds/tcp_recv.c rds_tcp_data_recv() -> rds_inc_put()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |