Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/pt1/pt1.c pt1_init_streams() -> pt1_set_stream()

Type Parameter Key Value
PARAM_VALUE 1 index 0-3
PARAM_VALUE 2 enabled 0
BUF_SIZE 0 pt1 s32min-(-2),1-s32max
BUF_SIZE 0 pt1 s32min-(-2),1-s32max
BUF_SIZE 0 pt1->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 pt1 $0
FUZZY_MAX 1 index 3
HARD_MAX 1 index 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pt1->pdev->current_state 0-3[c]
UNITS 0 pt1 unit_byte

drivers/media/pci/pt1/pt1.c pt1_start_feed() -> pt1_set_stream()

Type Parameter Key Value
PARAM_VALUE 0 pt1 4096-ptr_max
PARAM_VALUE 2 enabled 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex

drivers/media/pci/pt1/pt1.c pt1_stop_feed() -> pt1_set_stream()

Type Parameter Key Value
PARAM_VALUE 2 enabled 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex

drivers/media/pci/pt1/pt1.c pt1_thread() -> pt1_set_stream()

Type Parameter Key Value
PARAM_VALUE 0 pt1 4096-ptr_max
PARAM_VALUE 1 index 0-3
PARAM_VALUE 2 enabled 0-1
BUF_SIZE 0 pt1 128
BUF_SIZE 0 pt1 128
DATA_SOURCE 0 pt1 $0
FUZZY_MAX 1 index 3
FUZZY_MAX 2 enabled 1
HARD_MAX 1 index 3
HARD_MAX 2 enabled 1
NOCHECK_CALL