Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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->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 term 4096-ptr_max
PARAM_VALUE 2 p1 4096-18446744073709547519
PARAM_VALUE 4 vtype 9
CAPPED_DATA 0 state->map->control 1
CAPPED_DATA 0 state->selector_map->id 1
CAPPED_DATA 1 term->id 1
CAPPED_DATA 3 id 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 term $2
DATA_SOURCE 2 p1 r find_audio_control_unit
DATA_SOURCE 3 id $1 [m]
RX_PATH
TASK_NOT_RUNNING

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

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->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 term 4096-ptr_max
PARAM_VALUE 2 p1 4096-18446744073709547519
PARAM_VALUE 4 vtype 10
CAPPED_DATA 0 state->map->control 1
CAPPED_DATA 0 state->selector_map->id 1
CAPPED_DATA 1 term->id 1
CAPPED_DATA 3 id 1
DATA_SOURCE 0 state $0
DATA_SOURCE 1 term $2
DATA_SOURCE 2 p1 r find_audio_control_unit
DATA_SOURCE 3 id $1 [m]
RX_PATH
TASK_NOT_RUNNING