Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/sunrpc/xprtrdma/transport.c xprt_setup_rdma() -> xprt_rdma_format_addresses()
| 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 |
| PARAM_VALUE | 1 | sap | 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 |
| BUF_SIZE | 1 | sap | (-1),16,110,128 |
| BUF_SIZE | 1 | sap | (-1),16,110,128 |
| 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_setup_rdma_bc() -> xprt_rdma_format_addresses()
| 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 | 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->idle_timeout | 0 |
| PARAM_VALUE | 0 | xprt->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | xprt->max_reqs | 2-u32max |
| PARAM_VALUE | 0 | xprt->min_reqs | 2 |
| PARAM_VALUE | 0 | xprt->ns_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 0 | xprt->num_reqs | 2 |
| PARAM_VALUE | 0 | xprt->ops | 6665822658829746176 |
| 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 | (-2147483392) |
| PARAM_VALUE | 0 | xprt->reestablish_timeout | 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 | 3907195577429495808 |
| 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 |
| PARAM_VALUE | 1 | sap | 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 | 1 | sap | 128 |
| 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 |