Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 timeri 1-u64max
PARAM_VALUE 1 card_devp_to_put 5639625396780531712
PARAM_VALUE 1 *card_devp_to_put 0
BUF_SIZE 0 timeri (-1),224
BUF_SIZE 0 timeri (-1),224
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
LOCK2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 timeri 4096-ptr_max
PARAM_VALUE 1 card_devp_to_put 2338386895139221504
PARAM_VALUE 1 *card_devp_to_put 0
CAPPED_DATA 0 &timeri->open_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

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

Type Parameter Key Value
PARAM_VALUE 0 timeri 4096-ptr_max
PARAM_VALUE 0 timeri->ack_list.next->next 4096-ptr_max
PARAM_VALUE 0 timeri->ack_list.prev->next 4096-ptr_max
PARAM_VALUE 0 timeri->ack_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 timeri->active_list.next->next 4096-ptr_max
PARAM_VALUE 0 timeri->active_list.prev->next 4096-ptr_max
PARAM_VALUE 0 timeri->active_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 timeri->callback 1086927938792730624,1998831041608245248,3088710653524467712,4245498539842310144
PARAM_VALUE 0 timeri->callback_data 4096-ptr_max
PARAM_VALUE 0 timeri->master_list.next->next 4096-ptr_max
PARAM_VALUE 0 timeri->master_list.prev->next 4096-ptr_max
PARAM_VALUE 0 timeri->master_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 timeri->open_list.next->next 4096-ptr_max
PARAM_VALUE 0 timeri->open_list.prev->next 4096-ptr_max
PARAM_VALUE 0 timeri->open_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 timeri->owner 4096-ptr_max
PARAM_VALUE 0 timeri->slave_active_head.next 4096-ptr_max
PARAM_VALUE 0 timeri->slave_active_head.next->next 4096-ptr_max
PARAM_VALUE 0 timeri->slave_active_head.prev 4096-ptr_max
PARAM_VALUE 0 timeri->slave_active_head.prev->next 4096-ptr_max
PARAM_VALUE 0 timeri->slave_active_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 timeri->slave_list_head.next 4096-ptr_max
PARAM_VALUE 0 timeri->slave_list_head.next->next 4096-ptr_max
PARAM_VALUE 0 timeri->slave_list_head.prev 4096-ptr_max
PARAM_VALUE 0 timeri->slave_list_head.prev->next 4096-ptr_max
PARAM_VALUE 0 timeri->slave_list_head.prev->prev 4096-ptr_max
PARAM_VALUE 1 card_devp_to_put 3475325838716637184
PARAM_VALUE 1 *card_devp_to_put 0,4096-ptr_max
BUF_SIZE 0 timeri 224
BUF_SIZE 0 timeri->callback_data s32min-(-1),1-s32max
CAPPED_DATA 0 timeri->slave_class 1
CAPPED_DATA 0 timeri->slave_id 1
DATA_SOURCE 0 timeri $0
BIT_INFO 0 timeri->callback 0xa01002180000000,0xffffffffffffffff
NOSPEC 0 timeri->slave_class
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 timeri->slave_class s32min-s32max[c]
USER_DATA 0 timeri->slave_id 0-u32max[c]
LOCK2 global &register_mutex
HALF_LOCKED2 _T->lock