Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

sound/pci/echoaudio/indigodjx.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 3821083371552608256,7736497727111483392
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/layla24.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 2709962755795976192,2991373311407968256
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/darla20.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 2317670889557020672,6008114068808499200
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/indigo.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 917460244879429632,3886409946945409024
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/gina20.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 4644106794334347264,4858013656977453056
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/soc/ti/davinci-mcasp.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 4529202898705707008,5383320061056344064,7531869064386654208
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/darla24.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 3284107514305159168,6500028241355231232
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/soc/codecs/framer-codec.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 2372885979093762048
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/indigoio.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 2231355140940296192,2737688594901467136
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/mona.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 5325062860870397952,5756299160286183424
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/xen/xen_snd_front_alsa.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 0 mask->bits 4096-ptr_max
PARAM_VALUE 1 v 6213802849240125440
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/drivers/aloop.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 8935141905665003520
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
LOCK2 _T->lock
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/core/pcm_native.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 4096-ptr_max
BUF_SIZE 0 mask (-1),32,64
BUF_SIZE 0 mask (-1),32,64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/layla20.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 1859350037026598912,7118855753162100736
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/gina24.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 3456066672933371904,4604205198472880128
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/usb/pcm.c hw_check_valid_format() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 1065818365724426240
PARAM_VALUE 1 v 4096-ptr_max
BUF_SIZE 1 v 64
BUF_SIZE 1 v 64
DATA_SOURCE 1 v r hw_param_mask
MEM_ZERO 0 mask
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *v->bits 0-u32max
USER_PTR 1 v
USER_PTR 1 v->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/mia.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 308289444992876544,5064917287124148224
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/core/oss/pcm_oss.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
NOCHECK_CALL

sound/pci/echoaudio/indigodj.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 1929608206738984960,5944726708164972544
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/echo3g.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 2653432890175315968,7885184749880569856
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock

sound/pci/echoaudio/indigoiox.c snd_mask_refine() -> snd_mask_intersect()

Type Parameter Key Value
PARAM_VALUE 0 mask 4096-ptr_max
PARAM_VALUE 1 v 6192400702792261632,9100175390051291136
BUF_SIZE 0 mask 64
BUF_SIZE 0 mask 64
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 v $1
MEM_ZERO 1 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 mask
USER_PTR 0 mask->bits
HALF_LOCKED2 &runtime->buffer_mutex
HALF_LOCKED2 &runtime->oss.params_lock