Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/st_fdma.c st_fdma_free_chan_res() -> st_fdma_dreq_put()

Type Parameter Key Value
PARAM_VALUE 0 fchan 4096-ptr_max
PARAM_VALUE 0 fchan->cfg.type 1-u32max
PARAM_VALUE 0 fchan->fdev 4096-ptr_max
PARAM_VALUE 0 fchan->fdev->slim_rproc 4096-ptr_max
DATA_SOURCE 0 fchan r to_st_fdma_chan
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &dma_list_mutex