Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/dvb-frontends/dib0070.c dib0070_reset() -> (struct dib0070_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 1 onoff 0
CONTAINER 0 *(-16-16+8) $(-1)
NOCHECK_CALL

drivers/media/dvb-frontends/dib0070.c dib0070_sleep() -> (struct dib0070_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
PARAM_VALUE 1 onoff 1
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe->analog_demod_priv (-1),80
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/dib0070.c dib0070_wakeup() -> (struct dib0070_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
PARAM_VALUE 1 onoff 0
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe->analog_demod_priv (-1),80
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/dib0090.c dib0090_fw_reset_digital() -> (struct dib0090_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
PARAM_VALUE 1 onoff 0
BUF_SIZE 0 fe->tuner_priv 208
DATA_SOURCE 0 fe $0
NOCHECK_CALL

drivers/media/dvb-frontends/dib0090.c dib0090_reset_digital() -> (struct dib0090_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
PARAM_VALUE 1 onoff 0
BUF_SIZE 0 fe->tuner_priv 368
DATA_SOURCE 0 fe $0
NOCHECK_CALL

drivers/media/dvb-frontends/dib0090.c dib0090_sleep() -> (struct dib0090_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
PARAM_VALUE 1 onoff 1
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe->analog_demod_priv (-1),80
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &state->fe_mutex

drivers/media/dvb-frontends/dib0090.c dib0090_wakeup() -> (struct dib0090_config)->sleep()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
PARAM_VALUE 1 onoff 0
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe (-1),64,128,280,1024
BUF_SIZE 0 fe->analog_demod_priv (-1),80
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &state->fe_mutex