Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/ddbridge/ddbridge-core.c ddb_input_start_all() -> ddb_input_start()

Type Parameter Key Value
PARAM_VALUE 0 input 1-u64max
PARAM_VALUE 0 input->dma->running 0-1
PARAM_VALUE 0 input->redo->dma 4096-ptr_max
PARAM_VALUE 0 input->redo->dma->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 input->redo->dma->running 1
PARAM_VALUE 0 input->redo->port 4096-ptr_max
PARAM_VALUE 0 input->redo->port->dev 4096-ptr_max
PARAM_VALUE 0 input->redo->port->gap 0-127,u32max
PARAM_VALUE 0 input->redo->port->input 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &redirect_lock
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex

drivers/media/pci/ddbridge/ddbridge-core.c ddb_input_start_all() -> ddb_input_start()

Type Parameter Key Value
PARAM_VALUE 0 input 4096-ptr_max
PARAM_VALUE 0 input->port->dvb 4096-ptr_max
PARAM_VALUE 0 input->redo->dma->running 0-1
PARAM_VALUE 0 input->redo->port->gap 0-127,u32max
BUF_SIZE 0 input 2704,2992,4248,6624,50000,60000
BUF_SIZE 0 input 2704,2992,4248,6624,50000,60000
DATA_SOURCE 0 input $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &redirect_lock
HALF_LOCKED2 &demux->mutex
HALF_LOCKED2 &dvbdmx->mutex

drivers/media/pci/ddbridge/ddbridge-core.c ts_open() -> ddb_input_start()

Type Parameter Key Value
PARAM_VALUE 0 input 4096-ptr_max
PARAM_VALUE 0 input->redi 0
PARAM_VALUE 0 input->redo 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL