Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/idpf/idpf_virtchnl.c idpf_vc_xn_forward_async() -> (struct idpf_vc_xn)->async_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->flags | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->vcxn_mngr->ring | 4096-ptr_max |
| PARAM_VALUE | 1 | xn | 4096-ptr_max |
| PARAM_VALUE | 1 | xn->async_handler | 4852730160836235264,6023836274298650624 |
| PARAM_VALUE | 1 | xn->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | xn->reply_sz | 0-u16max |
| PARAM_VALUE | 1 | xn->state | 6 |
| PARAM_VALUE | 2 | ctlq_msg | 7826192212024877056 |
| PARAM_VALUE | 2 | ctlq_msg->cookie.mbx.chnl_opcode | 1,500-516,519-521,523,526,529,534-537,541-549,551,553 |
| CAPPED_DATA | 1 | xn->salt | 1 |
| CAPPED_DATA | 1 | xn->vc_op | 1 |
| CAPPED_DATA | 2 | ctlq_msg->cookie.mbx.chnl_opcode | 1 |
| DATA_SOURCE | 0 | adapter | $0 |
| DATA_SOURCE | 1 | xn | $1 |
| DATA_SOURCE | 2 | ctlq_msg | $2 |
| CONTAINER | 1 | -200+0 | $(-1) |
| PARAM_COMPARE | 2 | ctlq_msg->cookie.mbx.chnl_opcode | == $1->vc_op |
| LOCK2 | 1 | &xn->lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct idpf_vc_xn)->lock |