Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/drivers/aloop.c loopback_snd_timer_stop() -> snd_timer_stop()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &cable->lock
HALF_LOCKED2 &substream->runtime->buffer_mutex
HALF_LOCKED2 &substream->self_group.lock
HALF_LOCKED2 &substream->self_group.mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct loopback_cable)->lock

sound/core/timer.c snd_timer_close_locked() -> snd_timer_stop()

Type Parameter Key Value
PARAM_VALUE 0 timeri 4096-ptr_max
PARAM_VALUE 0 timeri->master_list.next 4096-ptr_max
PARAM_VALUE 0 timeri->open_list.next 4096-ptr_max
BUF_SIZE 0 timeri (-1),224
BUF_SIZE 0 timeri (-1),224
BUF_SIZE 0 timeri->callback_data s32min-(-1),1-s32max
CAPPED_DATA 0 &timeri->master_list 1
CAPPED_DATA 0 &timeri->open_list 1
DATA_SOURCE 0 timeri $0
NOSPEC 0 timeri->slave_class
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 timeri->master->slave_class s32min-s32max
USER_DATA 0 timeri->slave_class s32min-s32max
USER_DATA 0 timeri->slave_id 0-u32max
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &register_mutex

sound/core/timer.c snd_timer_user_params() -> snd_timer_stop()

Type Parameter Key Value
PARAM_VALUE 0 timeri 4096-ptr_max
PARAM_VALUE 0 timeri->timer 4096-ptr_max
PARAM_VALUE 0 timeri->timer->hw.flags 0-2,4-u32max
CAPPED_DATA 0 timeri->timer 1
NOCHECK_CALL
LOCK2 _T->lock

sound/core/timer.c snd_timer_user_start() -> snd_timer_stop()

Type Parameter Key Value
PARAM_VALUE 0 timeri 1-u64max
NOCHECK_CALL
LOCK2 _T->lock

sound/core/timer.c snd_timer_user_stop() -> snd_timer_stop()

Type Parameter Key Value
PARAM_VALUE 0 timeri 1-u64max
LOCK2 _T->lock