Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/pci/ddbridge/ddbridge-core.c ddb_port_attach() -> dvb_input_detach()

Type Parameter Key Value
PARAM_VALUE 0 input 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/ddbridge/ddbridge-core.c ddb_ports_detach() -> dvb_input_detach()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/ddbridge/ddbridge-core.c ddb_ports_detach() -> dvb_input_detach()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/ddbridge/ddbridge-core.c dvb_input_attach() -> dvb_input_detach()

Type Parameter Key Value
PARAM_VALUE 0 input 4096-ptr_max
PARAM_VALUE 0 input->port 4096-ptr_max
PARAM_VALUE 0 input->port->dev->link 4096-ptr_max
PARAM_VALUE 0 input->port->dvb 4096-ptr_max
PARAM_VALUE 0 input->port->nr 0-254
PARAM_VALUE 0 input->port->type 1-15,32-37,48,u32max
DATA_SOURCE 0 input $0
FUZZY_MAX 0 input->port->type 14
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock