Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/seq_queue.c snd_seq_control_queue() -> queue_access_unlock()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->klocked 1
PARAM_VALUE 0 q->locked 0
PARAM_VALUE 0 q->queue 253
PARAM_VALUE 0 q->timer->cur_time.tv_nsec 0-999999999
PARAM_VALUE 0 q->timer->cur_time.tv_sec 0
PARAM_VALUE 0 q->timer->initialized 1
PARAM_VALUE 0 q->timer->last_update.tv_nsec 0-999999999
PARAM_VALUE 0 q->timer->tempo 1-s32max
PARAM_VALUE 0 q->timer->tick.fraction 0-8589934589
PARAM_VALUE 0 q->timer->tick.resolution 1-8589934590
PARAM_VALUE 0 q->timer->ticks 1-u32max
PARAM_VALUE 0 q->timer->timeri->ack_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->ack_list.next->prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->ack_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->ack_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->active_list.next->next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->active_list.next->prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->active_list.prev->next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->active_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->callback_data->fasync->list.prev->prev 8717264582564859904
PARAM_VALUE 0 q->timer->timeri->callback_data->fasync->poll 1
PARAM_VALUE 0 q->timer->timeri->callback_data->fasync->signal 29
PARAM_VALUE 0 q->timer->timeri->callback_data->qtail s32min-s32max
PARAM_VALUE 0 q->timer->timeri->callback_data->qused s32min-s32max
PARAM_VALUE 0 q->timer->timeri->callback_data->tstamp.tv_nsec 0-999999999
PARAM_VALUE 0 q->timer->timeri->cticks 1-u64max
PARAM_VALUE 0 q->timer->timeri->master->slave_active_head.prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->master->slave_active_head.prev->next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->master->slave_active_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->ticks 1-u32max
DATA_SOURCE 0 q r queueptr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 q->timer->skew 0-u32max
USER_DATA 0 q->timer->tick.cur_tick 0-u32max

sound/core/seq/seq_queue.c snd_seq_queue_set_owner() -> queue_access_unlock()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->klocked 1
CAPPED_DATA 0 q->owner 1
DATA_SOURCE 0 q r queueptr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

sound/core/seq/seq_queue.c snd_seq_queue_timer_set_tempo() -> queue_access_unlock()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->klocked 1
PARAM_VALUE 0 q->locked 0
DATA_SOURCE 0 q r queueptr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 q->timer->ppq 1-s32max[c][u]
USER_DATA 0 q->timer->skew 0-u32max
USER_DATA 0 q->timer->tempo 1-s32max[c]
USER_DATA 0 q->timer->tick.resolution 1-8589934590[c]