Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- net/sunrpc/xprt.c
- net/sunrpc/xprtrdma/svc_rdma_backchannel.c, line 207
- net/sunrpc/xprtrdma/transport.c
- net/sunrpc/xprtsock.c
Smatch caller information:
net/sunrpc/xprt.c xprt_alloc() -> xprt_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xprt | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->backlog.maxpriority | 3 |
| PARAM_VALUE | 0 | xprt->backlog.name | 6152762854985117696 |
| PARAM_VALUE | 0 | xprt->backlog.qlen | 0 |
| PARAM_VALUE | 0 | xprt->backlog.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->bc_pa_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bind_index | 0 |
| PARAM_VALUE | 0 | xprt->binding.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->binding.name | 8486778956033671168 |
| PARAM_VALUE | 0 | xprt->binding.qlen | 0 |
| PARAM_VALUE | 0 | xprt->binding.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->cwnd | 256 |
| PARAM_VALUE | 0 | xprt->free.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | xprt->ns_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xprt->pending.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->pending.name | 4335483580139868160 |
| PARAM_VALUE | 0 | xprt->pending.qlen | 0 |
| PARAM_VALUE | 0 | xprt->pending.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->sending.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->sending.name | 4580454455456391168 |
| PARAM_VALUE | 0 | xprt->sending.qlen | 0 |
| PARAM_VALUE | 0 | xprt->sending.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->xmit_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | xprt | 3192,3440 |
| BUF_SIZE | 0 | xprt | 3192,3440 |
| DATA_SOURCE | 0 | xprt | r _kzalloc_noprof |
| TERMINATED | 0 | xprt->backlog.name | 1 |
| TERMINATED | 0 | xprt->binding.name | 1 |
| TERMINATED | 0 | xprt->pending.name | 1 |
| TERMINATED | 0 | xprt->sending.name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
net/sunrpc/xprtsock.c xs_setup_xprt() -> xprt_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xprt | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->addrlen | 0-128 |
| PARAM_VALUE | 0 | xprt->backlog.maxpriority | 3 |
| PARAM_VALUE | 0 | xprt->backlog.name | 6152762854985117696 |
| PARAM_VALUE | 0 | xprt->backlog.qlen | 0 |
| PARAM_VALUE | 0 | xprt->backlog.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->bc_pa_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bind_index | 0 |
| PARAM_VALUE | 0 | xprt->binding.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->binding.name | 8486778956033671168 |
| PARAM_VALUE | 0 | xprt->binding.qlen | 0 |
| PARAM_VALUE | 0 | xprt->binding.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->cwnd | 256 |
| PARAM_VALUE | 0 | xprt->free.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | xprt->min_reqs | 0-s32max |
| PARAM_VALUE | 0 | xprt->ns_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xprt->num_reqs | 0-s32max |
| PARAM_VALUE | 0 | xprt->pending.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->pending.name | 4335483580139868160 |
| PARAM_VALUE | 0 | xprt->pending.qlen | 0 |
| PARAM_VALUE | 0 | xprt->pending.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->sending.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->sending.name | 4580454455456391168 |
| PARAM_VALUE | 0 | xprt->sending.qlen | 0 |
| PARAM_VALUE | 0 | xprt->sending.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->xmit_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | xprt | 3192,3440 |
| BUF_SIZE | 0 | xprt | 3192,3440 |
| CAPPED_DATA | 0 | xprt->max_reqs | 1 |
| CAPPED_DATA | 0 | xprt->min_reqs | 1 |
| CAPPED_DATA | 0 | xprt->num_reqs | 1 |
| DATA_SOURCE | 0 | xprt | r xprt_alloc |
| TERMINATED | 0 | xprt->backlog.name | 1 |
| TERMINATED | 0 | xprt->binding.name | 1 |
| TERMINATED | 0 | xprt->pending.name | 1 |
| TERMINATED | 0 | xprt->sending.name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
net/sunrpc/xprtsock.c xs_xprt_free() -> xprt_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xprt | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->ops->bc_destroy | 0,4096-ptr_max |
| BUF_SIZE | 0 | xprt | (-1),3192,3440 |
| BUF_SIZE | 0 | xprt | (-1),3192,3440 |
| BUF_SIZE | 0 | xprt->ops | (-1),240 |
| BUF_SIZE | 0 | xprt->timeout | (-1),32 |
| BUF_SIZE | 0 | xprt->xprt_class | (-1),72 |
| DATA_SOURCE | 0 | xprt | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/sunrpc/xprtrdma/transport.c xprt_rdma_destroy() -> xprt_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xprt | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->backlog.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->bc_pa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->binding.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->debugfs | 0 |
| PARAM_VALUE | 0 | xprt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->ops->bc_destroy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xprt->pending.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->sending.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *xprt->debugfs->d_fsdata->lease_session->s_auth.authorizer->buf->vec.iov_base | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *xprt->debugfs->d_inode->i_sb->s_fs_info->s_first_error_func | 0-255 |
| PARAM_VALUE | 0 | *xprt->debugfs->d_inode->i_sb->s_fs_info->s_last_error_func | 0-255 |
| CAPPED_DATA | 0 | xprt->servername | 1 |
| DATA_SOURCE | 0 | xprt | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/sunrpc/xprtrdma/transport.c xprt_setup_rdma() -> xprt_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xprt | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->addrlen | 0-128 |
| PARAM_VALUE | 0 | xprt->backlog.maxpriority | 3 |
| PARAM_VALUE | 0 | xprt->backlog.name | 6152762854985117696 |
| PARAM_VALUE | 0 | xprt->backlog.qlen | 0 |
| PARAM_VALUE | 0 | xprt->backlog.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->bc_pa_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bc_pa_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->bind_index | 0 |
| PARAM_VALUE | 0 | xprt->bind_timeout | 15000 |
| PARAM_VALUE | 0 | xprt->binding.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->binding.name | 8486778956033671168 |
| PARAM_VALUE | 0 | xprt->binding.qlen | 0 |
| PARAM_VALUE | 0 | xprt->binding.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->connect_timeout | 15000 |
| PARAM_VALUE | 0 | xprt->cwnd | 256 |
| PARAM_VALUE | 0 | xprt->free.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->free.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->idle_timeout | 75000 |
| PARAM_VALUE | 0 | xprt->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | xprt->max_reconnect_timeout | 15000 |
| PARAM_VALUE | 0 | xprt->min_reqs | 0 |
| PARAM_VALUE | 0 | xprt->ns_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xprt->num_reqs | 0 |
| PARAM_VALUE | 0 | xprt->ops | 8823744442610597888 |
| PARAM_VALUE | 0 | xprt->pending.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->pending.name | 4335483580139868160 |
| PARAM_VALUE | 0 | xprt->pending.qlen | 0 |
| PARAM_VALUE | 0 | xprt->pending.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->prot | 6 |
| PARAM_VALUE | 0 | xprt->reestablish_timeout | 1250 |
| PARAM_VALUE | 0 | xprt->resvport | 0 |
| PARAM_VALUE | 0 | xprt->sending.maxpriority | 0 |
| PARAM_VALUE | 0 | xprt->sending.name | 4580454455456391168 |
| PARAM_VALUE | 0 | xprt->sending.qlen | 0 |
| PARAM_VALUE | 0 | xprt->sending.timer_list.expires | 0 |
| PARAM_VALUE | 0 | xprt->timeout | 840909019615465472 |
| PARAM_VALUE | 0 | xprt->timeout->to_initval | 15000 |
| PARAM_VALUE | 0 | xprt->timeout->to_maxval | 15000 |
| PARAM_VALUE | 0 | xprt->xmit_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xmit_queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_class | 277705839387074560 |
| PARAM_VALUE | 0 | xprt->xprt_switch.next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->xprt_switch.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | xprt | 3192,3440 |
| BUF_SIZE | 0 | xprt | 3192,3440 |
| BUF_SIZE | 0 | xprt->ops | 240 |
| BUF_SIZE | 0 | xprt->timeout | 32 |
| BUF_SIZE | 0 | xprt->xprt_class | 72 |
| CAPPED_DATA | 0 | xprt->max_reqs | 1 |
| DATA_SOURCE | 0 | xprt | r xprt_alloc |
| TERMINATED | 0 | xprt->backlog.name | 1 |
| TERMINATED | 0 | xprt->binding.name | 1 |
| TERMINATED | 0 | xprt->pending.name | 1 |
| TERMINATED | 0 | xprt->sending.name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
net/sunrpc/xprtrdma/svc_rdma_backchannel.c xprt_rdma_bc_put() -> xprt_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | xprt | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->backlog.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->bc_pa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->binding.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->debugfs | 0 |
| PARAM_VALUE | 0 | xprt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | xprt->ops->bc_destroy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xprt->pending.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | xprt->sending.timer_list.dwork.work.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | *xprt->debugfs->d_fsdata->lease_session->s_auth.authorizer->buf->vec.iov_base | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *xprt->debugfs->d_inode->i_sb->s_fs_info->s_first_error_func | 0-255 |
| PARAM_VALUE | 0 | *xprt->debugfs->d_inode->i_sb->s_fs_info->s_last_error_func | 0-255 |
| CAPPED_DATA | 0 | xprt->servername | 1 |
| DATA_SOURCE | 0 | xprt | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |