Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/cdx/cdx_msi.c cdx_disable_msi() -> (struct cdx_ops)->dev_configure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdx | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops->dev_configure | 340977897904332800 |
| PARAM_VALUE | 3 | dev_config | 2694180872542838784 |
| PARAM_VALUE | 3 | dev_config->bus_master_enable | 0 |
| PARAM_VALUE | 3 | dev_config->msi_enable | 0 |
| PARAM_VALUE | 3 | dev_config->type | 3 |
| CONTAINER | 0 | -24-32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &device->dev_set->lock |
drivers/cdx/cdx_msi.c cdx_enable_msi() -> (struct cdx_ops)->dev_configure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdx | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops->dev_configure | 340977897904332800 |
| PARAM_VALUE | 3 | dev_config | 2005638953367195648 |
| PARAM_VALUE | 3 | dev_config->bus_master_enable | 1 |
| PARAM_VALUE | 3 | dev_config->msi_enable | 1 |
| PARAM_VALUE | 3 | dev_config->type | 3 |
| CONTAINER | 0 | -24-32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &device->dev_set->lock |
drivers/cdx/cdx_msi.c cdx_msi_write_irq_unlock() -> (struct cdx_ops)->dev_configure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdx | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops->dev_configure | 340977897904332800 |
| PARAM_VALUE | 3 | dev_config | 3563485761162600448 |
| PARAM_VALUE | 3 | dev_config->type | 0 |
| CONTAINER | 0 | -24-32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/cdx/cdx.c cdx_clear_master() -> (struct cdx_ops)->dev_configure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdx | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops->dev_configure | 340977897904332800 |
| PARAM_VALUE | 3 | dev_config | 920165495259324416 |
| PARAM_VALUE | 3 | dev_config->bus_master_enable | 0 |
| PARAM_VALUE | 3 | dev_config->msi_enable | 0 |
| PARAM_VALUE | 3 | dev_config->type | 1 |
| CONTAINER | 0 | -24-32+0 | $(-1) |
| HALF_LOCKED2 | &device->dev_set->lock |
drivers/cdx/cdx.c cdx_dev_reset() -> (struct cdx_ops)->dev_configure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdx | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | dev_config | 4713127090965381120 |
| PARAM_VALUE | 3 | dev_config->bus_master_enable | 0 |
| PARAM_VALUE | 3 | dev_config->msi.addr | 0 |
| PARAM_VALUE | 3 | dev_config->msi.data | 0 |
| PARAM_VALUE | 3 | dev_config->msi.msi_index | 0 |
| PARAM_VALUE | 3 | dev_config->msi_enable | 0 |
| PARAM_VALUE | 3 | dev_config->type | 2 |
| CONTAINER | 0 | -24-32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &device->dev_set->lock | ||
| HALF_LOCKED2 | &of->mutex |
drivers/cdx/cdx.c cdx_set_master() -> (struct cdx_ops)->dev_configure()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cdx | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | cdx->ops->dev_configure | 340977897904332800 |
| PARAM_VALUE | 3 | dev_config | 417577054170062848 |
| PARAM_VALUE | 3 | dev_config->bus_master_enable | 1 |
| PARAM_VALUE | 3 | dev_config->msi_enable | 1 |
| PARAM_VALUE | 3 | dev_config->type | 1 |
| CONTAINER | 0 | -24-32+0 | $(-1) |