Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/usb/hdpvr/hdpvr-video.c hdpvr_start_streaming() -> get_video_info()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->io_mutex.dep_map->name 0-255
PARAM_VALUE 0 dev->io_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->io_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->io_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->status 1
PARAM_VALUE 1 vidinf 3533069259134590976
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev->owner s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dev->io_mutex

drivers/media/usb/hdpvr/hdpvr-video.c vidioc_g_fmt_vid_cap() -> get_video_info()

Type Parameter Key Value
PARAM_VALUE 1 vidinf 5402403231040348160
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/usb/hdpvr/hdpvr-video.c vidioc_query_dv_timings() -> get_video_info()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->options.video_input 0
PARAM_VALUE 1 vidinf 4174159641253265408
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock

drivers/media/usb/hdpvr/hdpvr-video.c vidioc_querystd() -> get_video_info()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->options.video_input 1-255
PARAM_VALUE 1 vidinf 7335096908709728256
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
DATA_SOURCE 0 dev r video_drvdata
HALF_LOCKED2 lock
HALF_LOCKED2 req_queue_lock