Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/i2c/max2175.c max2175_s_ctrl_rx_mode() -> max2175_set_rx_mode()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 rx_mode $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/i2c/max2175.c max2175_set_freq_and_mode() -> max2175_set_rx_mode()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->bands_rf 4096-ptr_max
PARAM_VALUE 0 ctx->rx_mode 4096-ptr_max
PARAM_VALUE 0 ctx->rx_mode->maximum 0-s64max
PARAM_VALUE 0 ctx->rx_modes 4096-ptr_max
PARAM_VALUE 1 rx_mode 0
CAPPED_DATA 0 ctx->rx_mode->maximum 1
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &hdw->big_lock_mutex
HALF_LOCKED2 global &em28xx_devlist_mutex