Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-context.c pvr2_channel_claim_stream() -> pvr2_context_exit()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &mp->mutex
HALF_LOCKED2 &adap->lock
TYPE_LOCK (struct pvr2_context)->mutex

drivers/media/usb/pvrusb2/pvrusb2-context.c pvr2_channel_done() -> pvr2_context_exit()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->hdw 4096-ptr_max
PARAM_VALUE 0 mp->hdw->big_lock_held 0
PARAM_VALUE 0 mp->hdw->big_lock_mutex.dep_map->name 0-255
PARAM_VALUE 0 mp->hdw->big_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mp->hdw->big_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mp->hdw->big_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mp->hdw->freqDirty 1
PARAM_VALUE 0 mp->hdw->freqSelector 0-1
PARAM_VALUE 0 mp->hdw->input_allowed_mask 1-4294967295
PARAM_VALUE 0 mp->hdw->input_dirty 1
PARAM_VALUE 0 mp->hdw->input_val 0-31
PARAM_VALUE 0 mp->hdw->state_pipeline_config 0
PARAM_VALUE 0 mp->hdw->state_stale s32min-(-1),1-s32max
PARAM_VALUE 0 mp->mc_first 0,4096-ptr_max
PARAM_VALUE 0 mp->mc_first->mc_prev 0
CAPPED_DATA 0 mp->hdw->control_cnt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &mp->mutex
TYPE_LOCK (struct pvr2_context)->mutex

drivers/media/usb/pvrusb2/pvrusb2-context.c pvr2_channel_init() -> pvr2_context_exit()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->mc_first 4096-ptr_max
PARAM_VALUE 0 mp->mc_first->mc_head 4096-ptr_max
PARAM_VALUE 0 mp->mc_first->mc_next 0
PARAM_VALUE 0 mp->mc_first->mc_prev 0
PARAM_VALUE 0 mp->mc_last 4096-ptr_max
PARAM_VALUE 0 mp->mc_last->mc_head 4096-ptr_max
PARAM_VALUE 0 mp->mc_last->mc_next 0
PARAM_VALUE 0 mp->mc_last->mc_next->mc_head 4096-ptr_max
PARAM_VALUE 0 mp->mc_last->mc_next->mc_prev 4096-ptr_max
PARAM_VALUE 0 mp->mc_last->mc_prev 0,4096-ptr_max
DATA_SOURCE 0 mp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mp->hdw->vid_stream->buffer_slot_count
LOCK2 0 &mp->mutex
TYPE_LOCK (struct pvr2_context)->mutex

drivers/media/usb/pvrusb2/pvrusb2-context.c pvr2_channel_limit_inputs() -> pvr2_context_exit()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &mp->mutex
TYPE_LOCK (struct pvr2_context)->mutex