Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
sound/hda/core/intel-dsp-config.c snd_intel_dsp_driver_probe() -> snd_intel_dsp_check_dmic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->class | 262400,263040 |
| PARAM_VALUE | 0 | pci->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pci->device | 0,712,1736,4506,5602,12696,13512,17352,19285,19288,19752,19912 |
| PARAM_VALUE | 0 | pci->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->driver->err_handler | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | pci->subordinate->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | pci->vendor | 32902 |
| PARAM_VALUE | 0 | *pci->saved_config_space | 0-4294967295 |
| BUF_SIZE | 0 | pci | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| BUF_SIZE | 0 | pci | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| CAPPED_DATA | 0 | pci | 1 |
| CAPPED_DATA | 0 | pci->device | 1 |
| DATA_SOURCE | 0 | pci | $0 |
| BIT_INFO | 0 | pci->class | 0x40100,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | pci->current_state | 0-3[c] |
| HALF_LOCKED2 | 0 | &pci->dev.mutex |
sound/hda/core/intel-dsp-config.c snd_intel_dsp_driver_probe() -> snd_intel_dsp_check_dmic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pci | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->class | 262400,263040 |
| PARAM_VALUE | 0 | pci->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pci->device | 0,712,1736,4506,5602,12696,13512,17352,19285,19288,19752,19912 |
| PARAM_VALUE | 0 | pci->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | pci->driver->err_handler | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pci->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | pci->subordinate->self->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | pci->vendor | 32902 |
| PARAM_VALUE | 0 | *pci->saved_config_space | 0-4294967295 |
| BUF_SIZE | 0 | pci | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| BUF_SIZE | 0 | pci | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| CAPPED_DATA | 0 | pci | 1 |
| CAPPED_DATA | 0 | pci->device | 1 |
| DATA_SOURCE | 0 | pci | $0 |
| BIT_INFO | 0 | pci->class | 0x40100,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | pci->current_state | 0-3[c] |
| HALF_LOCKED2 | 0 | &pci->dev.mutex |