Defined in 2 files as a function:
- drivers/media/pci/mgb4/mgb4_vin.c, line 929 (as a function)
- drivers/media/pci/mgb4/mgb4_vout.c, line 745 (as a function)
Referenced in 3 files:
- drivers/greybus/module.c, line 107
- drivers/media/pci/mgb4/mgb4_vin.c
- drivers/media/pci/mgb4/mgb4_vout.c
Smatch caller information:
drivers/media/pci/mgb4/mgb4_vout.c mgb4_vout_create() -> module_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mgbdev | 4096-ptr_max |
| BUF_SIZE | 0 | mgbdev | 1080 |
| BUF_SIZE | 0 | mgbdev->debugfs | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | mgbdev->hwmon_dev | (-1),8-s32max |
| BUF_SIZE | 0 | mgbdev->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| CAPPED_DATA | 0 | mgbdev->debugfs | 1 |
| CAPPED_DATA | 0 | mgbdev->hwmon_dev | 1 |
| CAPPED_DATA | 0 | mgbdev->xdev->dev.driver_data->irq_num | 1 |
| DATA_SOURCE | 0 | mgbdev | $0 |
| TERMINATED | 0 | mgbdev->flash_data.type | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | mgbdev->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | mgbdev->i2c_clk->clk->core->num_parents |
drivers/media/pci/mgb4/mgb4_vout.c mgb4_vout_free() -> module_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mgbdev | 4096-ptr_max |
| CAPPED_DATA | 0 | mgbdev->xdev->dev.driver_data->irq_num | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/media/pci/mgb4/mgb4_vin.c mgb4_vin_create() -> module_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mgbdev | 4096-ptr_max |
| BUF_SIZE | 0 | mgbdev | 1080 |
| BUF_SIZE | 0 | mgbdev->debugfs | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | mgbdev->hwmon_dev | (-1),8-s32max |
| BUF_SIZE | 0 | mgbdev->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| CAPPED_DATA | 0 | mgbdev->debugfs | 1 |
| CAPPED_DATA | 0 | mgbdev->hwmon_dev | 1 |
| CAPPED_DATA | 0 | mgbdev->xdev->dev.driver_data->irq_num | 1 |
| DATA_SOURCE | 0 | mgbdev | $0 |
| TERMINATED | 0 | mgbdev->flash_data.type | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | mgbdev->pdev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | mgbdev->i2c_clk->clk->core->num_parents |
drivers/media/pci/mgb4/mgb4_vin.c mgb4_vin_free() -> module_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mgbdev | 4096-ptr_max |
| CAPPED_DATA | 0 | mgbdev->xdev->dev.driver_data->irq_num | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dev->mutex |