Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/qp.c get_qp_user_index() -> verify_assign_uidx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cqe_version | 0-15 |
| PARAM_VALUE | 2 | user_index | 1629123205267771456 |
| PARAM_VALUE | 2 | *user_index | 16777215 |
| DATA_SOURCE | 2 | user_index | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cmd_uidx | 0-u32max[u] |
drivers/infiniband/hw/mlx5/srq.c get_srq_user_index() -> verify_assign_uidx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cqe_version | 0-15 |
| PARAM_VALUE | 2 | user_index | 8747992208336605184 |
| PARAM_VALUE | 2 | *user_index | 16777215 |
| DATA_SOURCE | 2 | user_index | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | cmd_uidx | 0-u32max |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |