Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_iosetup() -> pvr2_channel_claim_stream()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 sp 1-u64max
RX_PATH
TASK_NOT_RUNNING

drivers/media/usb/pvrusb2/pvrusb2-v4l2.c pvr2_v4l2_iosetup() -> pvr2_channel_claim_stream()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->mc_head 4096-ptr_max
PARAM_VALUE 0 cp->stream 0,4096-ptr_max
PARAM_VALUE 1 sp 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_stream_do_start() -> pvr2_channel_claim_stream()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 1 sp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &adap->lock
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex
TYPE_LOCK (struct pvr2_dvb_adapter)->lock

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_stream_end() -> pvr2_channel_claim_stream()

Type Parameter Key Value
PARAM_VALUE 0 cp 4096-ptr_max
PARAM_VALUE 0 cp->hdw 4096-ptr_max
PARAM_VALUE 0 cp->stream 4096-ptr_max
PARAM_VALUE 1 sp 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adap->lock