Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/hda/core/device.c snd_hdac_exec_verb() -> (struct hdac_device)->exec_verb()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->exec_verb 1-u64max
PARAM_VALUE 0 *dev->bus->last_cmd 0-4294967295
PARAM_VALUE 0 *dev->bus->rirb.res 0-4294967295
PARAM_VALUE 0 *dev->bus->unsol_queue 0-4294967295
PARAM_VALUE 3 res 0,4096-ptr_max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 flags $2
DATA_SOURCE 3 res $3
CONTAINER 0 -1704+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cmd 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 dev->num_nodes
HALF_LOCKED2 _T->lock

sound/hda/codecs/cirrus/cs8409.c cs8409_cs42l42_exec_verb() -> (struct cs8409_spec)->exec_verb()

Type Parameter Key Value
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->bus->last_cmd 0-4294967295
PARAM_VALUE 0 *dev->bus->rirb.res 0-4294967295
PARAM_VALUE 0 *dev->bus->unsol_queue 0-4294967295
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 flags $2
DATA_SOURCE 3 res $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cmd 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 dev->bus->corb.addr
NO_OVERFLOW_SIMPLE 0 dev->bus->posbuf.addr
NO_OVERFLOW_SIMPLE 0 dev->bus->posbuf.bytes
NO_OVERFLOW_SIMPLE 0 dev->bus->rb.addr
NO_OVERFLOW_SIMPLE 0 dev->bus->rb.bytes
NO_OVERFLOW_SIMPLE 0 dev->num_nodes
NO_OVERFLOW_SIMPLE 0 dev->regmap->cache_word_size
NO_OVERFLOW_SIMPLE 0 dev->widgets->nodes

sound/hda/codecs/cirrus/cs8409.c dolphin_exec_verb() -> (struct cs8409_spec)->exec_verb()

Type Parameter Key Value
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->bus->last_cmd 0-4294967295
PARAM_VALUE 0 *dev->bus->rirb.res 0-4294967295
PARAM_VALUE 0 *dev->bus->unsol_queue 0-4294967295
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 flags $2
DATA_SOURCE 3 res $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 cmd 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 dev->bus->corb.addr
NO_OVERFLOW_SIMPLE 0 dev->bus->posbuf.addr
NO_OVERFLOW_SIMPLE 0 dev->bus->posbuf.bytes
NO_OVERFLOW_SIMPLE 0 dev->bus->rb.addr
NO_OVERFLOW_SIMPLE 0 dev->bus->rb.bytes
NO_OVERFLOW_SIMPLE 0 dev->num_nodes
NO_OVERFLOW_SIMPLE 0 dev->regmap->cache_word_size
NO_OVERFLOW_SIMPLE 0 dev->widgets->nodes