Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/idxd/irq.c idxd_abort_invalid_int_handle_descs() -> idxd_desc_complete()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 1 comp_type 1
PARAM_VALUE 2 free_desc 1
NOCHECK_CALL
UNITS 0 desc unit_byte
HALF_LOCKED2 &pool->lock

drivers/dma/idxd/irq.c idxd_int_handle_resubmit_work() -> idxd_desc_complete()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->completion 4096-ptr_max
PARAM_VALUE 0 desc->completion->status 255
PARAM_VALUE 0 desc->hw 4096-ptr_max
PARAM_VALUE 0 desc->iax_hw->compr_flags 6
PARAM_VALUE 0 desc->iax_hw->decompr_flags 15,527
PARAM_VALUE 0 desc->wq 4096-ptr_max
PARAM_VALUE 0 desc->wq->idxd 4096-ptr_max
PARAM_VALUE 1 comp_type 1
PARAM_VALUE 2 free_desc 0
CAPPED_DATA 0 desc 1
NOCHECK_CALL
UNITS 0 desc unit_byte
HALF_LOCKED2 &pool->lock

drivers/dma/idxd/irq.c irq_process_pending_llist() -> idxd_desc_complete()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->completion 4096-ptr_max
PARAM_VALUE 0 desc->completion->status 255
PARAM_VALUE 1 comp_type 1
PARAM_VALUE 2 free_desc 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 desc unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/dma/idxd/irq.c irq_process_pending_llist() -> idxd_desc_complete()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->completion 4096-ptr_max
PARAM_VALUE 0 desc->completion->status 0-254
PARAM_VALUE 1 comp_type 0
PARAM_VALUE 2 free_desc 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 desc unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/dma/idxd/irq.c irq_process_work_list() -> idxd_desc_complete()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->completion 4096-ptr_max
PARAM_VALUE 0 desc->completion->status 255
PARAM_VALUE 1 comp_type 1
PARAM_VALUE 2 free_desc 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

drivers/dma/idxd/irq.c irq_process_work_list() -> idxd_desc_complete()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->completion 4096-ptr_max
PARAM_VALUE 0 desc->completion->status 0-254
PARAM_VALUE 1 comp_type 0
PARAM_VALUE 2 free_desc 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq