Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/srq_cmd.c create_srq_cmd() -> set_srqc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *srqc | 0-255 |
| PARAM_VALUE | 1 | in | 6414845433791070208 |
| PARAM_VALUE | 1 | in->flags | 0,2,4,6 |
| PARAM_VALUE | 1 | in->log_page_size | 0-52,4294967284-u32max |
| PARAM_VALUE | 1 | in->log_size | 0-31,u32max |
| PARAM_VALUE | 1 | in->lwm | 0 |
| PARAM_VALUE | 1 | in->pas | 0,16,4096-ptr_max |
| PARAM_VALUE | 1 | in->srqn | 0 |
| PARAM_VALUE | 1 | in->tm_log_list_size | 0-31 |
| PARAM_VALUE | 1 | in->type | 0-2 |
| PARAM_VALUE | 1 | in->umem | 0,4096-ptr_max |
| PARAM_VALUE | 1 | in->umem->sgt_append.sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 1 | in->user_index | 0-16777215 |
| PARAM_VALUE | 1 | in->wqe_cnt | 0 |
| PARAM_VALUE | 1 | in->wqe_shift | 0-27,4294967292-u32max |
| CAPPED_DATA | 1 | in->pas | 1 |
| CAPPED_DATA | 1 | in->tm_log_list_size | 1 |
| DATA_SOURCE | 1 | in | $2 |
| BIT_INFO | 1 | in->flags | 0x0,0x6 |
| BIT_INFO | 1 | in->log_size | 0x0,0x1f |
| BIT_INFO | 1 | in->tm_log_list_size | 0x0,0x3f |
| BIT_INFO | 1 | in->wqe_shift | 0x0,0x1f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | in->tm_log_list_size | 0-31[c] |
| USER_DATA | 1 | in->type | 0 |
| USER_DATA | 1 | in->user_index | 0-16777214 |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |
drivers/infiniband/hw/mlx5/srq_cmd.c create_xrc_srq_cmd() -> set_srqc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *srqc | 0-255 |
| PARAM_VALUE | 1 | in | 6414845433791070208 |
| PARAM_VALUE | 1 | in->flags | 0,2,4,6 |
| PARAM_VALUE | 1 | in->log_page_size | 0-52,4294967284-u32max |
| PARAM_VALUE | 1 | in->log_size | 0-31,u32max |
| PARAM_VALUE | 1 | in->lwm | 0 |
| PARAM_VALUE | 1 | in->pas | 0,16,4096-ptr_max |
| PARAM_VALUE | 1 | in->srqn | 0 |
| PARAM_VALUE | 1 | in->tm_log_list_size | 0-31 |
| PARAM_VALUE | 1 | in->type | 0-2 |
| PARAM_VALUE | 1 | in->umem | 0,4096-ptr_max |
| PARAM_VALUE | 1 | in->umem->sgt_append.sgt.sgl | 4096-ptr_max |
| PARAM_VALUE | 1 | in->user_index | 0-16777215 |
| PARAM_VALUE | 1 | in->wqe_cnt | 0 |
| PARAM_VALUE | 1 | in->wqe_shift | 0-27,4294967292-u32max |
| CAPPED_DATA | 1 | in->pas | 1 |
| CAPPED_DATA | 1 | in->tm_log_list_size | 1 |
| DATA_SOURCE | 1 | in | $2 |
| BIT_INFO | 1 | in->flags | 0x0,0x6 |
| BIT_INFO | 1 | in->log_size | 0x0,0x1f |
| BIT_INFO | 1 | in->tm_log_list_size | 0x0,0x3f |
| BIT_INFO | 1 | in->wqe_shift | 0x0,0x1f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | in->tm_log_list_size | 0-31[c] |
| USER_DATA | 1 | in->type | 0 |
| USER_DATA | 1 | in->user_index | 0-16777214 |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |