Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_create() -> pvr2_channel_init()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 mp 4096-ptr_max
PARAM_VALUE 1 mp->disconnect_flag 0
PARAM_VALUE 1 mp->hdw 4096-ptr_max
PARAM_VALUE 1 mp->hdw->big_lock_held 0
PARAM_VALUE 1 mp->hdw->big_lock_mutex.dep_map->name 0-255
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 mp->hdw->big_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 mp->hdw->flag_ok s32min-s32max
PARAM_VALUE 1 mp->hdw->fw1_state 1-4
PARAM_VALUE 1 mp->hdw->hdw_desc->fx2_firmware.cnt 0-1
PARAM_VALUE 1 mp->hdw->state_stale s32min-s32max
PARAM_VALUE 1 mp->hdw->vid_stream->buffer_slot_count 0-4294967295
PARAM_VALUE 1 mp->hdw->vid_stream->buffer_total_count 0-4294967295
PARAM_VALUE 1 mp->hdw->vid_stream->endpoint s32min-s32max
PARAM_VALUE 1 mp->hdw->vid_stream->fail_tolerance 0-4294967295
PARAM_VALUE 1 mp->initialized_flag 1
PARAM_VALUE 1 mp->mc_first->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_first->input_mask 0-29
PARAM_VALUE 1 mp->mc_last->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_last->input_mask 0-29
PARAM_VALUE 1 mp->mc_last->mc_next->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_last->mc_next->input_mask 0-29
PARAM_VALUE 1 mp->notify_flag 0
PARAM_VALUE 1 mp->setup_func 1-u64max
PARAM_VALUE 1 *mp->hdw->usb_dev->toggle 0-4294967295
DATA_SOURCE 1 mp $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 mp->hdw->vid_stream->buffer_slot_count

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_open() -> pvr2_channel_init()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_create() -> pvr2_channel_init()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 mp 4096-ptr_max
PARAM_VALUE 1 mp->disconnect_flag 0
PARAM_VALUE 1 mp->hdw 4096-ptr_max
PARAM_VALUE 1 mp->hdw->big_lock_held 0
PARAM_VALUE 1 mp->hdw->big_lock_mutex.dep_map->name 0-255
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 mp->hdw->big_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 mp->hdw->fw1_state 1-4
PARAM_VALUE 1 mp->hdw->hdw_desc 4096-ptr_max
PARAM_VALUE 1 mp->hdw->hdw_desc->dvb_props 1154522348827090944,1602390618348113920,4216551238897786880,4783448654282727424,5230564977901133824,5953269509528522752,7899688713014333440
PARAM_VALUE 1 mp->hdw->hdw_desc->fx2_firmware.cnt 0-1
PARAM_VALUE 1 mp->hdw->vid_stream->buffer_slot_count 0-4294967295
PARAM_VALUE 1 mp->hdw->vid_stream->buffer_total_count 0-4294967295
PARAM_VALUE 1 mp->hdw->vid_stream->endpoint s32min-s32max
PARAM_VALUE 1 mp->hdw->vid_stream->fail_tolerance 0-4294967295
PARAM_VALUE 1 mp->initialized_flag 1
PARAM_VALUE 1 mp->mc_first->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_first->input_mask 0-29
PARAM_VALUE 1 mp->mc_last->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_last->input_mask 0-29
PARAM_VALUE 1 mp->mc_last->mc_next->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_last->mc_next->input_mask 0-29
PARAM_VALUE 1 mp->notify_flag 0
PARAM_VALUE 1 mp->setup_func 1-u64max
PARAM_VALUE 1 *mp->hdw->usb_dev->toggle 0-4294967295
DATA_SOURCE 1 mp $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 mp->hdw->vid_stream->buffer_slot_count

drivers/media/usb/pvrusb2/pvrusb2-sysfs.c pvr2_sysfs_create() -> pvr2_channel_init()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 mp 4096-ptr_max
PARAM_VALUE 1 mp->disconnect_flag 0
PARAM_VALUE 1 mp->hdw 4096-ptr_max
PARAM_VALUE 1 mp->hdw->big_lock_held 0
PARAM_VALUE 1 mp->hdw->big_lock_mutex.dep_map->name 0-255
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 mp->hdw->big_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 mp->hdw->big_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 mp->hdw->flag_ok s32min-s32max
PARAM_VALUE 1 mp->hdw->fw1_state 1-4
PARAM_VALUE 1 mp->hdw->hdw_desc->fx2_firmware.cnt 0-1
PARAM_VALUE 1 mp->hdw->state_stale s32min-s32max
PARAM_VALUE 1 mp->hdw->vid_stream->buffer_slot_count 0-4294967295
PARAM_VALUE 1 mp->hdw->vid_stream->buffer_total_count 0-4294967295
PARAM_VALUE 1 mp->hdw->vid_stream->endpoint s32min-s32max
PARAM_VALUE 1 mp->hdw->vid_stream->fail_tolerance 0-4294967295
PARAM_VALUE 1 mp->initialized_flag 1
PARAM_VALUE 1 mp->mc_first->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_first->input_mask 0-29
PARAM_VALUE 1 mp->mc_last->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_last->input_mask 0-29
PARAM_VALUE 1 mp->mc_last->mc_next->check_func 0,3660551308257042432,4095957529065078784,4498501901343268864
PARAM_VALUE 1 mp->mc_last->mc_next->input_mask 0-29
PARAM_VALUE 1 mp->notify_flag 0
PARAM_VALUE 1 mp->setup_func 1-u64max
PARAM_VALUE 1 *mp->hdw->usb_dev->toggle 0-4294967295
DATA_SOURCE 1 mp $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 mp->hdw->vid_stream->buffer_slot_count