Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_create_srq() -> ocrdma_mbx_modify_srq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | srq | 4096-ptr_max |
| PARAM_VALUE | 0 | srq->db | 4096-ptr_max |
| PARAM_VALUE | 0 | srq->pd | 4096-ptr_max |
| PARAM_VALUE | 0 | srq->rq.entry_size | 0-2040 |
| PARAM_VALUE | 0 | srq->rq.max_sges | 0-u16max |
| PARAM_VALUE | 0 | srq->rq.va | 1-ptr_max |
| PARAM_VALUE | 1 | srq_attr | 1156783203728863248,2114509107582083088,2179161002446114832,3415840050636136464,6365966776295284752,8823925906084560912 |
| PARAM_VALUE | 1 | srq_attr->max_sge | 0-u16max |
| PARAM_VALUE | 1 | srq_attr->max_wr | 0-u16max |
| PARAM_VALUE | 1 | srq_attr->srq_limit | 1-u32max |
| BUF_SIZE | 0 | srq->idx_bit_fields | 4,u64max |
| BUF_SIZE | 0 | srq->rqe_wr_id_tbl | 0-34359738360,u64max |
| DATA_SOURCE | 0 | srq | r get_ocrdma_srq |
| NOSPEC | 1 | srq_attr->max_sge | |
| NOSPEC | 1 | srq_attr->max_wr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | srq_attr->max_sge | 0-u16max[c] |
| USER_DATA | 1 | srq_attr->max_wr | 0-u16max[c] |
| USER_DATA | 1 | srq_attr->srq_limit | 1-u32max |
| NO_OVERFLOW_SIMPLE | 0 | srq->bit_fields_len | |
| NO_OVERFLOW_SIMPLE | 0 | srq->rq.max_cnt | |
| HALF_LOCKED2 | &devr->srq_lock | ||
| HALF_LOCKED2 | global &device_list_mutex |
drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_modify_srq() -> ocrdma_mbx_modify_srq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | srq | 4096-ptr_max |
| DATA_SOURCE | 0 | srq | r get_ocrdma_srq |
| DATA_SOURCE | 1 | srq_attr | $1 |
| USER_DATA | 1 | srq_attr->max_wr | 0-u32max |
| USER_DATA | 1 | srq_attr->srq_limit | 0-u32max |