Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/media/i2c/msp3400-driver.c msp_s_radio() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->opmode 0
PARAM_VALUE 0 state->radio 1
PARAM_VALUE 0 state->watch_stereo 0
DATA_SOURCE 0 state r to_state
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cx->serialize_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &hdw->big_lock_mutex
HALF_LOCKED2 vdev->lock

drivers/media/i2c/msp3400-kthreads.c msp3400c_thread() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->detected_std 16777215
PARAM_VALUE 0 state->has_nicam 0-1
PARAM_VALUE 0 state->mode 0,2-3,5-7,9
PARAM_VALUE 0 state->nicam_on 0-1
PARAM_VALUE 0 state->radio 0-1
PARAM_VALUE 0 state->restart 0
PARAM_VALUE 0 state->scan_in_progress 0
DATA_SOURCE 0 state r to_state
NOCHECK_CALL

drivers/media/i2c/msp3400-kthreads.c msp3400c_thread() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->detected_std 16,46848,327695,3277024,12582912,16777215
PARAM_VALUE 0 state->has_nicam 0-1
PARAM_VALUE 0 state->mode 0,2-3,5-7
PARAM_VALUE 0 state->nicam_on 0-1
PARAM_VALUE 0 state->radio 0
PARAM_VALUE 0 state->restart 0
PARAM_VALUE 0 state->scan_in_progress 1
DATA_SOURCE 0 state r to_state
FUZZY_MAX 0 state->detected_std 16777215
FUZZY_MAX 0 state->nicam_on 1
HARD_MAX 0 state->detected_std 16777215
NOCHECK_CALL

drivers/media/i2c/msp3400-kthreads.c msp3410d_thread() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->detected_std 16777215
PARAM_VALUE 0 state->has_i2s_conf 0-1
PARAM_VALUE 0 state->has_nicam 0-1
PARAM_VALUE 0 state->mode 9
PARAM_VALUE 0 state->nicam_on 0-1
PARAM_VALUE 0 state->radio 0-1
PARAM_VALUE 0 state->restart 0
PARAM_VALUE 0 state->rxsubchans 0-2,5-6,12
PARAM_VALUE 0 state->scan_in_progress 0
DATA_SOURCE 0 state r to_state
NOCHECK_CALL

drivers/media/i2c/msp3400-kthreads.c msp3410d_thread() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->has_i2s_conf 0-1
PARAM_VALUE 0 state->has_nicam 0-1
PARAM_VALUE 0 state->mode 0,2-3,5-8
PARAM_VALUE 0 state->nicam_on 0-1
PARAM_VALUE 0 state->radio 0-1
PARAM_VALUE 0 state->restart 0
PARAM_VALUE 0 state->rxsubchans 0-2,5-6,12
PARAM_VALUE 0 state->scan_in_progress 1
DATA_SOURCE 0 state r to_state
FUZZY_MAX 0 state->mode 8
FUZZY_MAX 0 state->nicam_on 1
FUZZY_MAX 0 state->rxsubchans 1
NOCHECK_CALL

drivers/media/i2c/msp3400-kthreads.c msp34xxg_thread() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->detected_std 16777215
PARAM_VALUE 0 state->force_btsc 0-1
PARAM_VALUE 0 state->mode 9
PARAM_VALUE 0 state->radio 0-1
PARAM_VALUE 0 state->restart 0
PARAM_VALUE 0 state->scan_in_progress 0
DATA_SOURCE 0 state r to_state
NOCHECK_CALL

drivers/media/i2c/msp3400-kthreads.c msp34xxg_thread() -> msp_update_volume()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->force_btsc 0-1
PARAM_VALUE 0 state->mode 0,2-3,5-7
PARAM_VALUE 0 state->radio 0-1
PARAM_VALUE 0 state->restart 0
PARAM_VALUE 0 state->scan_in_progress 0
PARAM_VALUE 0 state->std s32min-0,2-s32max
DATA_SOURCE 0 state r to_state
NOCHECK_CALL