Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-context.c pvr2_context_check() -> (struct pvr2_context)->setup_func()

Type Parameter Key Value
PARAM_VALUE 0 pvr 4096-ptr_max
PARAM_VALUE 0 pvr->disconnect_flag 0
PARAM_VALUE 0 pvr->hdw 4096-ptr_max
PARAM_VALUE 0 pvr->hdw->big_lock_held 0
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.dep_map->name 0-255
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 pvr->hdw->big_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 pvr->hdw->flag_ok s32min-s32max
PARAM_VALUE 0 pvr->hdw->fw1_state 1-4
PARAM_VALUE 0 pvr->hdw->hdw_desc->fx2_firmware.cnt 0-1
PARAM_VALUE 0 pvr->hdw->state_stale s32min-s32max
PARAM_VALUE 0 pvr->hdw->vid_stream->buffer_slot_count 0-4294967295
PARAM_VALUE 0 pvr->hdw->vid_stream->buffer_total_count 0-4294967295
PARAM_VALUE 0 pvr->hdw->vid_stream->endpoint s32min-s32max
PARAM_VALUE 0 pvr->hdw->vid_stream->fail_tolerance 0-4294967295
PARAM_VALUE 0 pvr->initialized_flag 1
PARAM_VALUE 0 pvr->notify_flag 0
PARAM_VALUE 0 pvr->setup_func 1-u64max
PARAM_VALUE 0 *pvr->hdw->usb_dev->toggle 0-4294967295
DATA_SOURCE 0 pvr $0
CONTAINER 0 -240+0 $(-1)
PARAM_COMPARE 0 pvr->hdw->vid_stream == $0->video_stream.stream
NOCHECK_CALL