Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/seq/seq_queue.c snd_seq_queue_alloc() -> queue_delete()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->clients_bitmap 4096-ptr_max
PARAM_VALUE 0 q->klocked 0
PARAM_VALUE 0 q->queue (-1)
PARAM_VALUE 0 q->tickq 4096-ptr_max
PARAM_VALUE 0 q->tickq->cells 0
PARAM_VALUE 0 q->tickq->head 0
PARAM_VALUE 0 q->tickq->tail 0
PARAM_VALUE 0 q->timeq 4096-ptr_max
PARAM_VALUE 0 q->timeq->cells 0
PARAM_VALUE 0 q->timeq->head 0
PARAM_VALUE 0 q->timeq->tail 0
PARAM_VALUE 0 q->timer 4096-ptr_max
PARAM_VALUE 0 q->timer->cur_time.tv_nsec 0
PARAM_VALUE 0 q->timer->cur_time.tv_sec 0
PARAM_VALUE 0 q->timer->ppq 96
PARAM_VALUE 0 q->timer->preferred_resolution 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 q->timer->running 0
PARAM_VALUE 0 q->timer->skew 65536
PARAM_VALUE 0 q->timer->skew_base 65536
PARAM_VALUE 0 q->timer->tempo 500000
PARAM_VALUE 0 q->timer->tempo_base 1000
PARAM_VALUE 0 q->timer->tick.fraction 0-8589934589
PARAM_VALUE 0 q->timer->tick.resolution 5208333
PARAM_VALUE 0 q->timer->timeri 0,4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->callback 1998831041608245248
PARAM_VALUE 0 q->timer->timeri->callback_data 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->master_list.next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->master_list.next->prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->open_list.next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->open_list.next->prev 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->owner 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->pticks 0
PARAM_VALUE 0 q->timer->timeri->slave_active_head.next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->slave_list_head.next 4096-ptr_max
PARAM_VALUE 0 q->timer->timeri->slave_list_head.prev 4096-ptr_max
PARAM_VALUE 0 q->timer->type 0
PARAM_VALUE 0 q->timer_mutex.dep_map->name 0-255
PARAM_VALUE 0 q->timer_mutex.first_waiter 0
PARAM_VALUE 0 q->timer_mutex.magic 4096-ptr_max
PARAM_VALUE 0 q->timer_mutex.osq.tail.counter 0
PARAM_VALUE 0 q->timer_mutex.owner.counter 0
BUF_SIZE 0 q 448
DATA_SOURCE 0 q r queue_new
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 q->info_flags 0-u32max[u]
USER_DATA 0 q->locked 0-1[u]
USER_DATA 0 q->timer->timeri->slave_class s32min-s32max
USER_DATA 0 q->timer->timeri->slave_id 0-u32max
HALF_LOCKED2 _T->lock

sound/core/seq/seq_queue.c snd_seq_queue_client_leave() -> queue_delete()

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 queue_list_remove
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

sound/core/seq/seq_queue.c snd_seq_queue_delete() -> queue_delete()

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 queue_list_remove
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

sound/core/seq/seq_queue.c snd_seq_queues_delete() -> queue_delete()

Type Parameter Key Value
PARAM_VALUE 0 q 1-u64max
NOCHECK_CALL