Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/drivers/vx/vx_mixer.c vx_sync_audio_source() -> vx_change_audio_source()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->pcm_running 0
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
DATA_SOURCE 0 chip $0
PARAM_COMPARE 0 chip->audio_source != $0->audio_source_target
PARAM_COMPARE 1 src != $0->audio_source
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte
HALF_LOCKED2 _T->lock