Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/qedr/verbs.c qedr_create_cq() -> consume_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cq | 4096-ptr_max |
| PARAM_VALUE | 0 | cq->latest_cqe | 0 |
| PARAM_VALUE | 0 | cq->pbl.cnt_type | 1 |
| PARAM_VALUE | 0 | cq->pbl.elem_per_page_mask | 31,127,255,511 |
| PARAM_VALUE | 0 | cq->pbl.elem_size | 32 |
| PARAM_VALUE | 0 | cq->pbl.elem_unusable | 0-2 |
| PARAM_VALUE | 0 | cq->pbl.mode | 2 |
| PARAM_VALUE | 0 | cq->pbl.next_page_mask | 0-511 |
| PARAM_VALUE | 0 | cq->pbl.p_cons_elem | 0-ptr_max |
| PARAM_VALUE | 0 | cq->pbl.p_virt_addr | 0-ptr_max |
| PARAM_VALUE | 0 | cq->pbl.page_cnt | 0-279633 |
| PARAM_VALUE | 0 | cq->pbl.pbl.c.u32.cons_page_idx | 0-279632,u32max |
| PARAM_VALUE | 0 | cq->pbl.u.chain16.cons_idx | 0 |
| PARAM_VALUE | 0 | cq->pbl.u.chain32.cons_idx | 0 |
| PARAM_VALUE | 0 | cq->pbl_toggle | 1 |
| PARAM_VALUE | 0 | cq->toggle_cqe | 0,4096-ptr_max |
| CAPPED_DATA | 0 | cq->ibcq.cqe | 1 |
| CAPPED_DATA | 0 | cq->pbl.p_virt_addr | 1 |
| DATA_SOURCE | 0 | cq | r get_qedr_cq |
| NOSPEC | 0 | cq->ibcq.cqe | |
| NOSPEC | 0 | cq->pbl.capacity | |
| NOSPEC | 0 | cq->pbl.page_cnt | |
| MEM_ZERO | 0 | &cq->pbl | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cq->ibcq.cqe | 1-143172096[c] |
| USER_DATA | 0 | cq->pbl.capacity | 0-143172096[c] |
| USER_DATA | 0 | cq->pbl.page_cnt | 0-279633[c] |
| USER_DATA | 0 | cq->pbl.pbl.c.u16.cons_page_idx | 0-u16max |
| USER_DATA | 0 | cq->pbl.pbl.c.u16.prod_page_idx | 0-u16max |
| USER_DATA | 0 | cq->pbl.pbl.c.u32.cons_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | cq->pbl.pbl.c.u32.prod_page_idx | 0-279632,u32max[u] |
| USER_DATA | 0 | cq->pbl.pbl_sp.table_size | 0-2237064[c] |
| USER_DATA | 0 | cq->pbl.size | 0-143172096[c] |
| NO_OVERFLOW_SIMPLE | 0 | cq->q.db_mmap_entry->start_pgoff | |
| NO_OVERFLOW_SIMPLE | 0 | cq->q.pbl_info.num_pbes | |
| NO_OVERFLOW_SIMPLE | 0 | cq->q.pbl_info.num_pbls |
drivers/infiniband/hw/qedr/verbs.c qedr_poll_cq_resp() -> consume_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cq | 4096-ptr_max |
| PARAM_VALUE | 0 | cq->pbl_toggle | 0-1 |
| CAPPED_DATA | 0 | cq->pbl_toggle | 1 |
| DATA_SOURCE | 0 | cq | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &cq->cq_lock | |
| TYPE_LOCK | (struct qedr_cq)->cq_lock |
drivers/infiniband/hw/qedr/verbs.c qedr_poll_cq_resp_srq() -> consume_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cq | 4096-ptr_max |
| PARAM_VALUE | 0 | cq->pbl_toggle | 0-1 |
| CAPPED_DATA | 0 | cq->pbl_toggle | 1 |
| DATA_SOURCE | 0 | cq | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &cq->cq_lock | |
| TYPE_LOCK | (struct qedr_cq)->cq_lock |
drivers/infiniband/hw/qedr/verbs.c try_consume_req_cqe() -> consume_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cq | 4096-ptr_max |
| PARAM_VALUE | 0 | cq->pbl_toggle | 0-1 |
| CAPPED_DATA | 0 | cq->pbl_toggle | 1 |
| DATA_SOURCE | 0 | cq | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &cq->cq_lock | |
| TYPE_LOCK | (struct qedr_cq)->cq_lock |
drivers/infiniband/hw/qedr/verbs.c try_consume_resp_cqe() -> consume_cqe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cq | 4096-ptr_max |
| PARAM_VALUE | 0 | cq->pbl_toggle | 0-1 |
| CAPPED_DATA | 0 | cq->pbl_toggle | 1 |
| DATA_SOURCE | 0 | cq | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &cq->cq_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct qedr_cq)->cq_lock |