Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/hfi1/verbs.c build_verbs_tx_desc() -> sdma_txadd_daddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dd | 4096-ptr_max |
| PARAM_VALUE | 1 | tx | 4096-ptr_max |
| PARAM_VALUE | 1 | tx->complete | 4420419636728750080 |
| PARAM_VALUE | 1 | tx->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | tx->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | tx->wait | 0 |
| PARAM_VALUE | 3 | len | 5-12 |
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | tx->coalesce_idx | |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &pool->lock |