Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/seq_queue.c snd_seq_check_queue() -> snd_seq_dispatch_event()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 0 cell->next 0
CAPPED_DATA 0 cell 1
DATA_SOURCE 0 cell r snd_seq_prioq_cell_out
DATA_SOURCE 1 atomic $1
DATA_SOURCE 2 hop $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cell->event.data.ext.len 1073741824-s32max[c]

sound/core/seq/seq_queue.c snd_seq_check_queue() -> snd_seq_dispatch_event()

Type Parameter Key Value
PARAM_VALUE 0 cell 4096-ptr_max
PARAM_VALUE 0 cell->next 0
PARAM_VALUE 0 cell->pool->free 4096-ptr_max
CAPPED_DATA 0 cell 1
DATA_SOURCE 0 cell r snd_seq_prioq_cell_out
DATA_SOURCE 1 atomic $1
DATA_SOURCE 2 hop $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 cell->event.data.ext.len 1073741824-s32max[c]