Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/control_led.c snd_ctl_led_register() -> snd_ctl_led_notify()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->number 0-31
PARAM_VALUE 1 mask 1
PARAM_VALUE 2 kctl 4096-ptr_max
PARAM_VALUE 2 kctl->count 1-u32max
BUF_SIZE 0 card (-1),24,72,104,144,184,208,240,256,272,344,376,448,520,552,560,632,648,664,888,920,1520,1696,1752,1760,1776,1832,2568,2728,3176-13656
BUF_SIZE 0 card (-1),24,72,104,144,184,208,240,256,272,344,376,448,520,552,560,632,648,664,888,920,1520,1696,1752,1760,1776,1832,2568,2728,3176-13656
CAPPED_DATA 0 &card->controls 1
CAPPED_DATA 3 ioff 1
DATA_SOURCE 0 card $0
PARAM_COMPARE 3 ioff < $2->count
CONSTRAINT 3 ioff <3913
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock

sound/core/control_led.c snd_ctl_led_set_id() -> snd_ctl_led_notify()

Type Parameter Key Value
PARAM_VALUE 0 card 1-u64max
PARAM_VALUE 1 mask 2
PARAM_VALUE 2 kctl 4096-ptr_max
PARAM_VALUE 2 kctl->vd 4096-ptr_max
CAPPED_DATA 3 ioff 1
DATA_SOURCE 0 card r snd_card_ref
DATA_SOURCE 2 kctl r snd_ctl_find_id
DATA_SOURCE 3 ioff r snd_ctl_get_ioff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

sound/core/control.c snd_ctl_notify_one() -> (struct snd_ctl_layer_ops)->lnotify()

Type Parameter Key Value
PARAM_VALUE 0 card 0,4096-ptr_max
PARAM_VALUE 0 card->card_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 card->card_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 card->controls_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 card->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 card->debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 mask 1-2,4,8,10,u32max
PARAM_VALUE 2 kctl 4096-ptr_max
BUF_SIZE 0 card (-1),72,104,256,376,448,1696,2728
BUF_SIZE 0 card (-1),72,104,256,376,448,1696,2728
BUF_SIZE 2 kctl->private_data (-1),320-s32max
CAPPED_DATA 2 kctl 1
CAPPED_DATA 3 ioff 1
DATA_SOURCE 0 card $0
DATA_SOURCE 1 mask $1
DATA_SOURCE 2 kctl $2
DATA_SOURCE 3 ioff $3
STR_LEN 0 card (-1),19,21-22,24,27
STR_LEN 0 card (-1),19,21-22,24,27
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 card->debugfs_root->d_fsdata->d_fsdata
USER_PTR 2 kctl->id.name
LOCK2 _T->lock
HALF_LOCKED2 0 &card->controls_rwsem