Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/user_sdma.c user_sdma_send_pkts() -> sdma_send_txlist()

Type Parameter Key Value
PARAM_VALUE 0 sde 4096-ptr_max
PARAM_VALUE 0 sde->state.current_state 10
PARAM_VALUE 0 sde->tail_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 wait 4096-ptr_max
PARAM_VALUE 2 tx_list 4096-ptr_max
PARAM_VALUE 2 tx_list->next 4096-ptr_max
PARAM_VALUE 2 tx_list->prev 4096-ptr_max
PARAM_VALUE 3 count_out 3075178772579594240
BUF_SIZE 1 wait 208
RX_PATH
TASK_NOT_RUNNING
LOCK2 &fd->pq_srcu
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hfi1_filedata)->pq_srcu

drivers/infiniband/hw/hfi1/ipoib_tx.c hfi1_ipoib_submit_tx_list() -> sdma_send_txlist()

Type Parameter Key Value
PARAM_VALUE 1 wait 4096-ptr_max
PARAM_VALUE 2 tx_list 4096-ptr_max
PARAM_VALUE 3 count_out 408589702089203712
BUF_SIZE 1 wait 208
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->tx_global_lock