Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/srq.c mlx5_ib_create_srq() -> mlx5_cmd_create_srq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->devr.c0 | 1-u64max |
| PARAM_VALUE | 0 | dev->devr.xrcdn0 | 0-16777215 |
| PARAM_VALUE | 0 | dev->mdev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->caps.hca | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->mdev->priv.db_node_pools | 4096-ptr_max |
| PARAM_VALUE | 1 | srq | 4096-ptr_max |
| PARAM_VALUE | 1 | srq->max_gs | 0-4095 |
| PARAM_VALUE | 1 | srq->wqe_shift | 0-31 |
| PARAM_VALUE | 2 | in | 6414845433791070208 |
| PARAM_VALUE | 2 | in->flags | 0,2,4,6 |
| PARAM_VALUE | 2 | in->log_page_size | 0 |
| PARAM_VALUE | 2 | in->log_size | 0-31,u32max |
| PARAM_VALUE | 2 | in->lwm | 0 |
| PARAM_VALUE | 2 | in->page_offset | 0 |
| PARAM_VALUE | 2 | in->pas | 0,16,4096-ptr_max |
| PARAM_VALUE | 2 | in->srqn | 0 |
| PARAM_VALUE | 2 | in->tm_log_list_size | 0-31 |
| PARAM_VALUE | 2 | in->type | 0-2 |
| PARAM_VALUE | 2 | in->umem | 0,4096-ptr_max |
| PARAM_VALUE | 2 | in->user_index | 0-16777215 |
| PARAM_VALUE | 2 | in->wqe_cnt | 0 |
| PARAM_VALUE | 2 | in->wqe_shift | 0-27,4294967292-u32max |
| DATA_SOURCE | 0 | dev | r to_mdev |
| NOSPEC | 1 | srq->max_gs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | srq->max_gs | 0-4095[c] |
| USER_DATA | 2 | in->tm_log_list_size | 0-31[c] |
| USER_DATA | 2 | in->type | 0 |
| USER_DATA | 2 | in->user_index | 0-16777214 |
| NO_OVERFLOW_SIMPLE | 1 | srq->max | |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |