Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/infiniband/hw/cxgb4/cm.c c4iw_destroy_listen() -> c4iw_wait_for_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.ports | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.rxq_ids | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.done | 0 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->ret | 0 |
| PARAM_VALUE | 2 | hwtid | 0 |
| PARAM_VALUE | 3 | qpid | 0 |
| PARAM_VALUE | 4 | func | 4855059918950531072 |
| BUF_SIZE | 4 | func | 20 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/infiniband/hw/cxgb4/cm.c create_server4() -> c4iw_wait_for_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.ports | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.rxq_ids | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.done | 0 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->ret | 0 |
| PARAM_VALUE | 2 | hwtid | 0 |
| PARAM_VALUE | 3 | qpid | 0 |
| PARAM_VALUE | 4 | func | 4336521008401620992 |
| BUF_SIZE | 4 | func | 15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &ctrl_lock | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &ib_ctx.ib_dev_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &lock |
drivers/infiniband/hw/cxgb4/cm.c create_server6() -> c4iw_wait_for_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.ports | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.rxq_ids | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.done | 0 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->ret | 0 |
| PARAM_VALUE | 2 | hwtid | 0 |
| PARAM_VALUE | 3 | qpid | 0 |
| PARAM_VALUE | 4 | func | 9010967938651721728 |
| BUF_SIZE | 4 | func | 15 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &ctx->mutex | ||
| HALF_LOCKED2 | &device->client_data_rwsem | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | global &clients_rwsem | ||
| HALF_LOCKED2 | global &ctrl_lock | ||
| HALF_LOCKED2 | global &devices_rwsem | ||
| HALF_LOCKED2 | global &ib_ctx.ib_dev_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &lock |
drivers/infiniband/hw/cxgb4/qp.c c4iw_ref_send_wait() -> c4iw_wait_for_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 4 | func | 1737196964827385856,6748327824154177536,6982452114502184960,7954922832750022656,9086165467466719232 |
| BUF_SIZE | 0 | rdev | (-1),1600 |
| BUF_SIZE | 0 | rdev | (-1),1600 |
| BUF_SIZE | 1 | wr_waitp | (-1),104 |
| BUF_SIZE | 1 | wr_waitp | (-1),104 |
| BUF_SIZE | 4 | func | 10,15-16 |
| BUF_SIZE | 4 | func | 10,15-16 |
| DATA_SOURCE | 0 | rdev | $0 |
| DATA_SOURCE | 1 | wr_waitp | $2 |
| DATA_SOURCE | 2 | hwtid | $3 |
| DATA_SOURCE | 3 | qpid | $4 |
| DATA_SOURCE | 4 | func | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &qhp->mutex |
drivers/infiniband/hw/cxgb4/cq.c c4iw_ref_send_wait() -> c4iw_wait_for_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 0 | rdev->lldi.pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.done | 0 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner | (-1) |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->ret | 0 |
| PARAM_VALUE | 2 | hwtid | 0 |
| PARAM_VALUE | 3 | qpid | 0 |
| PARAM_VALUE | 4 | func | 3654133060739186688,7407397225914466304 |
| BUF_SIZE | 1 | wr_waitp | (-1),104 |
| BUF_SIZE | 1 | wr_waitp | (-1),104 |
| BUF_SIZE | 4 | func | 10-11 |
| BUF_SIZE | 4 | func | 10-11 |
| DATA_SOURCE | 0 | rdev | $0 |
| DATA_SOURCE | 1 | wr_waitp | $2 |
| DATA_SOURCE | 2 | hwtid | $3 |
| DATA_SOURCE | 3 | qpid | $4 |
| DATA_SOURCE | 4 | func | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/infiniband/hw/cxgb4/mem.c c4iw_ref_send_wait() -> c4iw_wait_for_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.done | 0-4294967293,u32max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->completion.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | wr_waitp->ret | (-5),0 |
| PARAM_VALUE | 2 | hwtid | 0 |
| PARAM_VALUE | 3 | qpid | 0 |
| PARAM_VALUE | 4 | func | 4113269592970055680,6986214928705277952 |
| BUF_SIZE | 4 | func | 23,28 |
| BUF_SIZE | 4 | func | 23,28 |
| CAPPED_DATA | 1 | wr_waitp | 1 |
| DATA_SOURCE | 0 | rdev | $0 |
| DATA_SOURCE | 1 | wr_waitp | $2 |
| DATA_SOURCE | 2 | hwtid | $3 |
| DATA_SOURCE | 3 | qpid | $4 |
| DATA_SOURCE | 4 | func | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | rdev->stats.pbl.max | 1-u64max[c][u] |