__check_input_term identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

sound/usb/mixer.c, line 760 (as a prototype)

Defined in 1 files as a function:

sound/usb/mixer.c, line 942 (as a function)

Referenced in 1 files:

sound/usb/mixer.c

Smatch caller information:

sound/usb/mixer.c check_input_term() -> __check_input_term()

Type	Parameter	Key	Value
PARAM_VALUE	0	state	4096-ptr_max
PARAM_VALUE	0	state->chip->dev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	state->map->control	0-3,5,7,12
PARAM_VALUE	0	state->map->dB	0,4096-ptr_max
PARAM_VALUE	0	state->mixer	4096-ptr_max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->dev->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	state->selector_map->count	0,2-3
PARAM_VALUE	0	state->selector_map->id	0,14,29,31,128
PARAM_VALUE	0	state->unitbitmap	4096-ptr_max
PARAM_VALUE	2	term	641905073613197312,2611220911574876160,5168059901641224192,7626138006715576320
CAPPED_DATA	0	state->map->control	1
CAPPED_DATA	0	state->selector_map->id	1
DATA_SOURCE	0	state	$0
DATA_SOURCE	1	id	$1
DATA_SOURCE	2	term	$2
MEM_ZERO	0	state->termbitmap
MEM_ZERO	2	term
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer.c parse_term_effect_unit() -> __check_input_term()

Type	Parameter	Key	Value
PARAM_VALUE	0	state	4096-ptr_max
PARAM_VALUE	0	state->map->control	0-3,5,7,12
PARAM_VALUE	0	state->map->dB	0,4096-ptr_max
PARAM_VALUE	0	state->mixer	4096-ptr_max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->selector_map	0,4096-ptr_max
PARAM_VALUE	0	state->selector_map->count	0,2-3
PARAM_VALUE	0	state->selector_map->id	0,14,29,31,128
PARAM_VALUE	0	state->termbitmap	4096-ptr_max
PARAM_VALUE	2	term	4096-ptr_max
CAPPED_DATA	0	state->map->control	1
CAPPED_DATA	0	state->selector_map->id	1
CAPPED_DATA	2	term->id	1
DATA_SOURCE	0	state	$0
DATA_SOURCE	2	term	$1
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer.c parse_term_proc_unit() -> __check_input_term()

Type	Parameter	Key	Value
PARAM_VALUE	0	state	4096-ptr_max
PARAM_VALUE	0	state->map->control	0-3,5,7,12
PARAM_VALUE	0	state->map->dB	0,4096-ptr_max
PARAM_VALUE	0	state->mixer	4096-ptr_max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->selector_map	0,4096-ptr_max
PARAM_VALUE	0	state->selector_map->count	0,2-3
PARAM_VALUE	0	state->selector_map->id	0,14,29,31,128
PARAM_VALUE	0	state->termbitmap	4096-ptr_max
PARAM_VALUE	1	id	0-255
PARAM_VALUE	2	term	4096-ptr_max
CAPPED_DATA	0	state->map->control	1
CAPPED_DATA	0	state->selector_map->id	1
CAPPED_DATA	2	term->id	1
DATA_SOURCE	0	state	$0
DATA_SOURCE	2	term	$1
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer.c parse_term_selector_unit() -> __check_input_term()

Type	Parameter	Key	Value
PARAM_VALUE	0	state	4096-ptr_max
PARAM_VALUE	0	state->map->control	0-3,5,7,12
PARAM_VALUE	0	state->map->dB	0,4096-ptr_max
PARAM_VALUE	0	state->mixer	4096-ptr_max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->selector_map	0,4096-ptr_max
PARAM_VALUE	0	state->selector_map->count	0,2-3
PARAM_VALUE	0	state->selector_map->id	0,14,29,31,128
PARAM_VALUE	0	state->termbitmap	4096-ptr_max
PARAM_VALUE	1	id	0-255
PARAM_VALUE	2	term	4096-ptr_max
CAPPED_DATA	0	state->map->control	1
CAPPED_DATA	0	state->selector_map->id	1
CAPPED_DATA	2	term->id	1
DATA_SOURCE	0	state	$0
DATA_SOURCE	2	term	$1
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer.c parse_term_uac2_iterm_unit() -> __check_input_term()

Type	Parameter	Key	Value
PARAM_VALUE	0	state	4096-ptr_max
PARAM_VALUE	0	state->map->control	0-3,5,7,12
PARAM_VALUE	0	state->map->dB	0,4096-ptr_max
PARAM_VALUE	0	state->mixer	4096-ptr_max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->selector_map	0,4096-ptr_max
PARAM_VALUE	0	state->selector_map->count	0,2-3
PARAM_VALUE	0	state->selector_map->id	0,14,29,31,128
PARAM_VALUE	0	state->termbitmap	4096-ptr_max
PARAM_VALUE	2	term	4096-ptr_max
CAPPED_DATA	0	state->map->control	1
CAPPED_DATA	0	state->selector_map->id	1
CAPPED_DATA	2	term->id	1
DATA_SOURCE	0	state	$0
DATA_SOURCE	2	term	$1
RX_PATH
TASK_NOT_RUNNING

sound/usb/mixer.c parse_term_uac3_iterm_unit() -> __check_input_term()

Type	Parameter	Key	Value
PARAM_VALUE	0	state	4096-ptr_max
PARAM_VALUE	0	state->map->control	0-3,5,7,12
PARAM_VALUE	0	state->map->dB	0,4096-ptr_max
PARAM_VALUE	0	state->mixer	4096-ptr_max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	state->mixer->chip->card->card_dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	state->selector_map	0,4096-ptr_max
PARAM_VALUE	0	state->selector_map->count	0,2-3
PARAM_VALUE	0	state->selector_map->id	0,14,29,31,128
PARAM_VALUE	0	state->termbitmap	4096-ptr_max
PARAM_VALUE	2	term	4096-ptr_max
CAPPED_DATA	0	state->map->control	1
CAPPED_DATA	0	state->selector_map->id	1
CAPPED_DATA	2	term->id	1
DATA_SOURCE	0	state	$0
DATA_SOURCE	2	term	$1
RX_PATH
TASK_NOT_RUNNING