Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

sound/isa/cs423x/cs4236_lib.c snd_cs4236_put_iec958_switch() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 *chip->cimage 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip (-1),72,104,256,376,448,2728
BUF_SIZE 0 chip (-1),72,104,256,376,448,2728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &card->controls_rwsem
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &pool->lock

sound/isa/cs423x/cs4236_lib.c snd_cs4236_resume() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->eimage 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 *chip->cimage 0-255
PARAM_VALUE 0 *chip->eimage 0-255
BUF_SIZE 0 chip (-1),72,104,256,376,448,2728
BUF_SIZE 0 chip (-1),72,104,256,376,448,2728
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/sscape.c create_ad1845() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->calibrate_mute 0,128
PARAM_VALUE 0 chip->card s64min-(-4096),4096-s64max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 2
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->resume 1140490710512910336
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 chip->suspend 8361527291193298944
PARAM_VALUE 0 *chip->image 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_capture_format() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->hardware 0-257,259-4095,4097-u16max
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->reg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
FUZZY_MAX 0 chip->hardware 257
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &runtime->buffer_mutex
LOCK2 _T->lock
TYPE_LOCK (struct snd_pcm_runtime)->buffer_mutex

sound/isa/wss/wss_lib.c snd_wss_capture_format() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->hardware 0-257,259-u16max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->reg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
FUZZY_MAX 0 chip->hardware 257
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &runtime->buffer_mutex
LOCK2 _T->lock
TYPE_LOCK (struct snd_pcm_runtime)->buffer_mutex

sound/isa/wss/wss_lib.c snd_wss_close() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->hardware 2048-u16max
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->reg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
BIT_INFO 0 chip->mode 0x0,0xfff8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte
LOCK2 _T->lock

sound/isa/wss/wss_lib.c snd_wss_init() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->calibrate_mute 0,128
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0-2147483583
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 *chip->eimage 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
CAPPED_DATA 0 chip->calibrate_mute 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_init() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->calibrate_mute 0,128
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 *chip->eimage 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
CAPPED_DATA 0 chip->calibrate_mute 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_init() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->calibrate_mute 0,128
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 *chip->eimage 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
CAPPED_DATA 0 chip->calibrate_mute 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_init() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->calibrate_mute 0,128
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 *chip->eimage 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
CAPPED_DATA 0 chip->calibrate_mute 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_init() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->calibrate_mute 0,128
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 *chip->eimage 0-255
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
CAPPED_DATA 0 chip->calibrate_mute 1
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_playback_format() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->hardware 0-257,259-u16max
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
FUZZY_MAX 0 chip->hardware 257
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &runtime->buffer_mutex
LOCK2 _T->lock
TYPE_LOCK (struct snd_pcm_runtime)->buffer_mutex

sound/isa/wss/wss_lib.c snd_wss_probe() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 4096-ptr_max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
DATA_SOURCE 0 chip $0
FUZZY_MAX 0 chip->hardware 514
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_probe() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->card 4096-ptr_max
PARAM_VALUE 0 chip->hardware 256-258,512-514,1024-1028,2049-2053,4096,4353-4354
PARAM_VALUE 0 chip->hwshare 0-2,7
PARAM_VALUE 0 chip->image 0-255,4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
PARAM_VALUE 0 chip->rate_constraint 1005846085211418624
PARAM_VALUE 0 chip->res_port 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent 4096-ptr_max
PARAM_VALUE 0 chip->res_port->parent->child 4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling 0,4096-ptr_max
PARAM_VALUE 0 chip->res_port->sibling->start 1-u64max
PARAM_VALUE 0 chip->set_capture_format 2506711042495840256
PARAM_VALUE 0 chip->set_playback_format 4659544684647550976
PARAM_VALUE 0 *chip->image 0-255
BUF_SIZE 0 chip->res_cport (-1),64
BUF_SIZE 0 chip->res_port 64
DATA_SOURCE 0 chip $0
FUZZY_MAX 0 chip->hardware 514
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/isa/wss/wss_lib.c snd_wss_resume() -> snd_wss_mce_down()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->mce_bit 0,64-s32max
BUF_SIZE 0 chip (-1),72,104,256,376,448,2728
BUF_SIZE 0 chip (-1),72,104,256,376,448,2728
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL