Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/hfi1/sdma.c complete_tx() -> complete_tx ptr complete()

Type Parameter Key Value
PARAM_VALUE 0 cookie 4096-ptr_max
PARAM_VALUE 0 cookie->coalesce_buf 0
PARAM_VALUE 0 cookie->complete 4096-ptr_max
PARAM_VALUE 0 cookie->desc_limit 0-6
PARAM_VALUE 0 cookie->num_desc 0
PARAM_VALUE 1 status 0,2
DATA_SOURCE 0 cookie $1
DATA_SOURCE 1 status $2
HARD_MAX 1 status 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sde->head_lock.lock
HALF_LOCKED2 &sde->tail_lock
HALF_LOCKED2 flags
TYPE_LOCK (struct seqlock)->lock