Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/dma/dmaengine.c dma_run_dependencies() -> txd_lock()

Type Parameter Key Value
PARAM_VALUE 0 txd 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &mv_chan->lock
HALF_LOCKED2 flags

crypto/async_tx/async_tx.c async_tx_channel_switch() -> txd_lock()

Type Parameter Key Value
PARAM_VALUE 0 txd 4096-ptr_max
PARAM_VALUE 0 txd->chan 4096-ptr_max
PARAM_VALUE 0 txd->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 txd->next 0
BUF_SIZE 0 txd (-1)-0,176
BUF_SIZE 0 txd (-1)-0,176
DATA_SOURCE 0 txd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/async_tx/async_tx.c async_tx_channel_switch() -> txd_lock()

Type Parameter Key Value
PARAM_VALUE 0 txd 4096-ptr_max
PARAM_VALUE 0 txd->chan 4096-ptr_max
PARAM_VALUE 0 txd->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 txd->next 0
BUF_SIZE 0 txd (-1)-0,176
BUF_SIZE 0 txd (-1)-0,176
CAPPED_DATA 0 txd->chan 1
DATA_SOURCE 0 txd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ioat_chan->prep_lock
HALF_LOCKED2 bh

crypto/async_tx/async_tx.c async_tx_submit() -> txd_lock()

Type Parameter Key Value
PARAM_VALUE 0 txd 4096-ptr_max
PARAM_VALUE 0 txd->next 0
BUF_SIZE 0 txd (-1),176
BUF_SIZE 0 txd (-1),176
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL