Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/vmaster.c follower_put() -> follower_put_val()

Type Parameter Key Value
PARAM_VALUE 0 follower 4096-ptr_max
PARAM_VALUE 0 follower->info.count 1-s32max
PARAM_VALUE 0 follower->vals 4096-ptr_max
PARAM_VALUE 0 *follower->vals s32min-s32max
PARAM_VALUE 1 ucontrol 4096-ptr_max
PARAM_VALUE 1 ucontrol->value.integer.value 4096-ptr_max
BUF_SIZE 0 follower (-1),72,104,256,376,448,2728
BUF_SIZE 0 follower (-1),72,104,256,376,448,2728
BUF_SIZE 1 ucontrol (-1),4,16,24,64,72,80,88,160-s32max
BUF_SIZE 1 ucontrol (-1),4,16,24,64,72,80,88,160-s32max
CAPPED_DATA 0 follower->info.count 1
CAPPED_DATA 0 follower->info.min_val 1
DATA_SOURCE 1 ucontrol $1
PARAM_COMPARE 0 follower->info.max_val >= $0->info.min_val
NOSPEC 1 ucontrol->id.index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ucontrol->id.device 0-u32max
USER_DATA 1 ucontrol->id.iface s32min-s32max
USER_DATA 1 ucontrol->id.index 0-u32max
USER_DATA 1 ucontrol->id.numid 0-u32max
USER_DATA 1 ucontrol->id.subdevice 0-u32max
USER_DATA 1 ucontrol->value.iec958.pad 0-255
NO_OVERFLOW_SIMPLE 1 ucontrol->value.bytes.data
UNITS 0 follower unit_byte
USER_PTR 1 ucontrol
USER_PTR 1 ucontrol->id.name
USER_PTR 1 ucontrol->reserved
USER_PTR 1 ucontrol->value.bytes.data
HALF_LOCKED2 &card->controls_rwsem
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

sound/core/vmaster.c sync_followers() -> follower_put_val()

Type Parameter Key Value
PARAM_VALUE 0 follower 4096-ptr_max
PARAM_VALUE 1 ucontrol 4096-ptr_max
BUF_SIZE 1 ucontrol 1224
DATA_SOURCE 1 ucontrol r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL