Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/brocade/bna/bfa_msgq.c bfa_msgq_cmd_post() -> __cmd_copy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cmdq | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd->msg_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd->msg_hdr->num_entries | 0-65534 |
| CAPPED_DATA | 1 | cmd->msg_hdr->num_entries | 1 |
| DATA_SOURCE | 1 | cmd | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | cmd->msg_hdr->num_entries | 0-65534[c] |
| HALF_LOCKED2 | &bnad->bna_lock | ||
| HALF_LOCKED2 | flags |
drivers/net/ethernet/brocade/bna/bfa_msgq.c bfa_msgq_cmdq_ci_update() -> __cmd_copy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cmdq | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd->msg_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd->msg_hdr->num_entries | 0-65534 |
| CAPPED_DATA | 0 | &cmdq->pending_q | 1 |
| CAPPED_DATA | 1 | cmd->msg_hdr->num_entries | 1 |
| DATA_SOURCE | 0 | cmdq | $0 |
| PARAM_COMPARE | 0 | &cmdq->pending_q | != $0->pending_q.next |
| NOCHECK_CALL | |||
| USER_DATA | 0 | cmdq->consumer_index | 0-u16max |