Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/core/seq/seq_fifo.c snd_seq_fifo_delete() -> snd_seq_pool_delete()

Type Parameter Key Value
PARAM_VALUE 0 ppool 4096-ptr_max
PARAM_VALUE 0 *ppool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/core/seq/seq_fifo.c snd_seq_fifo_new() -> snd_seq_pool_delete()

Type Parameter Key Value
PARAM_VALUE 0 ppool 4096-ptr_max
PARAM_VALUE 0 *ppool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

sound/core/seq/seq_fifo.c snd_seq_fifo_resize() -> snd_seq_pool_delete()

Type Parameter Key Value
PARAM_VALUE 0 ppool 3631612073220071424
PARAM_VALUE 0 *ppool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

sound/core/seq/seq_fifo.c snd_seq_fifo_resize() -> snd_seq_pool_delete()

Type Parameter Key Value
PARAM_VALUE 0 ppool 7110429424645697536
PARAM_VALUE 0 *ppool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

sound/core/seq/seq_clientmgr.c seq_create_client1() -> snd_seq_pool_delete()

Type Parameter Key Value
PARAM_VALUE 0 ppool 4096-ptr_max
PARAM_VALUE 0 *ppool 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

sound/core/seq/seq_clientmgr.c seq_free_client1() -> snd_seq_pool_delete()

Type Parameter Key Value
PARAM_VALUE 0 ppool 4096-ptr_max
PARAM_VALUE 0 *ppool 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock