Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/media/dvb-frontends/dib8000.c dib8000_release() -> dibx000_exit_i2c_master()

Type Parameter Key Value
PARAM_VALUE 0 mst 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock

drivers/media/dvb-frontends/dib9000.c dib9000_release() -> dibx000_exit_i2c_master()

Type Parameter Key Value
PARAM_VALUE 0 mst 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock

drivers/media/dvb-frontends/dib3000mc.c dib3000mc_release() -> dibx000_exit_i2c_master()

Type Parameter Key Value
PARAM_VALUE 0 mst 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock

drivers/media/dvb-frontends/dib7000m.c dib7000m_release() -> dibx000_exit_i2c_master()

Type Parameter Key Value
PARAM_VALUE 0 mst 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock

drivers/media/dvb-frontends/dib7000p.c dib7000p_release() -> dibx000_exit_i2c_master()

Type Parameter Key Value
PARAM_VALUE 0 mst 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &d->data_mutex
HALF_LOCKED2 &dev->lock