Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_swzigzag() -> (struct dvb_frontend_ops)->set_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->frontend_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.set_frontend 1-u64max
DATA_SOURCE 0 fe $0
CONTAINER 0 -248-8+0 $(-1)

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_swzigzag_autotune() -> (struct dvb_frontend_ops)->set_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->frontend_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.info.caps 1073741824-u32max
PARAM_VALUE 0 fe->ops.set_frontend 1-u64max
DATA_SOURCE 0 fe $0
CONTAINER 0 -248-8+0 $(-1)

drivers/staging/media/av7110/av7110.c av7110_fe_set_frontend() -> (struct av7110)->fe_set_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
DATA_SOURCE 0 fe $0
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/au0828/au0828-dvb.c au0828_set_frontend() -> (struct au0828_dvb)->set_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
DATA_SOURCE 0 fe $0
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex

drivers/media/usb/dvb-usb-v2/af9015.c af9015_af9013_set_frontend() -> (struct af9015_state)->set_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
DATA_SOURCE 0 fe $0
TASK_NOT_RUNNING
LOCK2 &state->fe_mutex
HALF_LOCKED2 &state->fe_mutex
TYPE_LOCK (struct af9015_state)->fe_mutex

drivers/media/pci/cx23885/cx23885-dvb.c cx23885_dvb_set_frontend() -> (struct cx23885_tsport)->set_frontend()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->dvb 4096-ptr_max
PARAM_VALUE 0 fe->dvb->priv 4096-ptr_max
DATA_SOURCE 0 fe $0
TASK_NOT_RUNNING
HALF_LOCKED2 &state->fe_mutex