Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/timer.c check_matching_master_slave() -> snd_timer_ref_get()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->max_instances (-2147483647)-s32max
PARAM_COMPARE 0 timer->max_instances >= $0->num_instances
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &register_mutex
HALF_LOCKED2 _T->lock

sound/core/timer.c snd_timer_open() -> snd_timer_ref_get()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->card 0,4096-ptr_max
PARAM_VALUE 0 timer->max_instances (-2147483647)-s32max
PARAM_VALUE 0 timer->module 0,4096-ptr_max
PARAM_VALUE 0 timer->module->refcnt.counter 0-s32max
PARAM_VALUE 0 timer->module->state 0-1,3-u32max
PARAM_VALUE 0 timer->open_list_head.next 4096-ptr_max
PARAM_VALUE 0 timer->open_list_head.prev 4096-ptr_max
PARAM_VALUE 0 timer->open_list_head.prev->next 4096-ptr_max
PARAM_VALUE 0 timer->open_list_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 timer->tmr_class s32min-(-1),1-s32max
CAPPED_DATA 0 timer->tmr_class 1
CAPPED_DATA 0 timer->tmr_device 1
CAPPED_DATA 0 timer->tmr_subdevice 1
CAPPED_DATA 0 &timer->open_list_head 1
DATA_SOURCE 0 timer r snd_timer_find
PARAM_COMPARE 0 timer->max_instances >= $0->num_instances
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &register_mutex
HALF_LOCKED2 _T->lock

sound/core/timer.c snd_timeri_timer_get() -> snd_timer_ref_get()

Type Parameter Key Value
PARAM_VALUE 0 timer 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->flags
LOCK2 _T->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 &tmr->lock
HALF_LOCKED2 irq