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-context.c pvr2_context_disconnect() -> pvr2_hdw_disconnect()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-hdw.c pvr2_hdw_destroy() -> pvr2_hdw_disconnect()

Type Parameter Key Value
PARAM_VALUE 0 hdw 4096-ptr_max
PARAM_VALUE 0 hdw->decoder_stabilization_timer.flags 0-4194302
PARAM_VALUE 0 hdw->encoder_run_timer.entry.pprev 0
PARAM_VALUE 0 hdw->encoder_run_timer.flags 0-4194302
PARAM_VALUE 0 hdw->encoder_run_timer.function 0
PARAM_VALUE 0 hdw->encoder_wait_timer.entry.pprev 0
PARAM_VALUE 0 hdw->encoder_wait_timer.flags 0-4194302
PARAM_VALUE 0 hdw->encoder_wait_timer.function 0
PARAM_VALUE 0 hdw->fw_buffer 0
PARAM_VALUE 0 hdw->quiescent_timer.entry.pprev 0
PARAM_VALUE 0 hdw->quiescent_timer.flags 0-4194302
PARAM_VALUE 0 hdw->quiescent_timer.function 0
PARAM_VALUE 0 hdw->vid_stream 0
CAPPED_DATA 0 &hdw->decoder_stabilization_timer 1
CAPPED_DATA 0 &hdw->encoder_run_timer 1
CAPPED_DATA 0 &hdw->encoder_wait_timer 1
CAPPED_DATA 0 &hdw->quiescent_timer 1
CAPPED_DATA 0 &hdw->v4l2_dev 1
CAPPED_DATA 0 &hdw->workpoll 1
DATA_SOURCE 0 hdw $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hdw->control_cnt
NO_OVERFLOW_SIMPLE 0 hdw->input_val
NO_OVERFLOW_SIMPLE 0 hdw->unit_number
NO_OVERFLOW_SIMPLE 0 hdw->vid_stream->buffer_slot_count