Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

sound/core/pcm_native.c snd_pcm_open() -> snd_pcm_open_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.dentry->d_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 file->f_path.dentry->d_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 file->f_path.dentry->d_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 1 pcm 4096-ptr_max
PARAM_VALUE 1 pcm->card 4096-ptr_max
PARAM_VALUE 1 pcm->card->files_list.next 4096-ptr_max
PARAM_VALUE 1 pcm->card->files_list.next->next 4096-ptr_max
PARAM_VALUE 1 pcm->card->files_list.next->prev 4096-ptr_max
PARAM_VALUE 1 pcm->card->module 0,4096-ptr_max
PARAM_VALUE 1 pcm->card->module->refcnt.counter 0-s32max
PARAM_VALUE 1 pcm->card->module->state 0-1,3-u32max
PARAM_VALUE 1 pcm->card->shutdown 0
PARAM_VALUE 1 pcm->open_mutex.dep_map->name 0-255
PARAM_VALUE 1 pcm->open_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 pcm->open_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 pcm->open_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 pcm->open_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 pcm->open_mutex.wait_lock.owner (-1)
PARAM_VALUE 1 pcm->open_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 pcm->open_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 stream 0-1
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file->__f_path.dentry (-1)-s32max
BUF_SIZE 0 file->private_data (-1),232
BUF_SIZE 1 pcm (-1)-0,6,24,72,104,144,184,208,240,256,272,344,376,448,520,552,560,632
BUF_SIZE 1 pcm (-1)-0,6,24,72,104,144,184,208,240,256,272,344,376,448,520,552,560,632
CAPPED_DATA 1 &pcm->open_mutex 1
DATA_SOURCE 0 file $0
DATA_SOURCE 1 pcm $1
DATA_SOURCE 2 stream $2
HARD_MAX 2 stream 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->__f_path.dentry->__d_name.hash 0-u32max[c]
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 0-u32max[c]
NO_OVERFLOW_SIMPLE 0 file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size
USER_PTR 0 file->__f_path.dentry->__d_name.name
LOCK2 1 &pcm->open_mutex
TYPE_LOCK (struct snd_pcm)->open_mutex