Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/ata/ahci_ceva.c ceva_ahci_platform_enable_resources() -> ahci_platform_deassert_rsts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hpriv | 4096-ptr_max |
| PARAM_VALUE | 0 | hpriv->ahci_regulator | 4096-ptr_max |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->nports | 0-s32max |
| PARAM_VALUE | 0 | hpriv->phy_regulator->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->rsts | 0,4096-u64max |
| PARAM_VALUE | 0 | *hpriv->saved_port_cap | 0-4294967295 |
| BUF_SIZE | 0 | hpriv | (-1),1,4,8-9,16,24,40,56,64,72,80,112,120,144,160,184,200,280,312,320,360,416,464,480,520,560,640,784,800,1200,1664,2160 |
| BUF_SIZE | 0 | hpriv | (-1),1,4,8-9,16,24,40,56,64,72,80,112,120,144,160,184,200,280,312,320,360,416,464,480,520,560,640,784,800,1200,1664,2160 |
| BUF_SIZE | 0 | hpriv->rsts | (-1),8,280 |
| CAPPED_DATA | 0 | hpriv->ahci_regulator->rdev | 1 |
| CAPPED_DATA | 0 | hpriv->ahci_regulator->rdev->coupling_desc.n_coupled | 1 |
| CAPPED_DATA | 0 | hpriv->n_clks | 1 |
| CAPPED_DATA | 0 | hpriv->nports | 1 |
| CAPPED_DATA | 0 | hpriv->phy_regulator->rdev | 1 |
| CAPPED_DATA | 0 | hpriv->phy_regulator->rdev->coupling_desc.n_coupled | 1 |
| DATA_SOURCE | 0 | hpriv | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hpriv->nports |
drivers/ata/libahci_platform.c ahci_platform_enable_resources() -> ahci_platform_deassert_rsts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hpriv | 4096-ptr_max |
| PARAM_VALUE | 0 | hpriv->ahci_regulator | 4096-ptr_max |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->ahci_regulator->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->nports | 0-s32max |
| PARAM_VALUE | 0 | hpriv->phy_regulator->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->ena_gpio_state | 1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->ena_pin->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->notifier.head->priority | s32min-s32max |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->load | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->load_updated | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->reg_data->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->async | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->regmap->cache_dirty | 0-1 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->supply->enable_count | 0-4294967295 |
| PARAM_VALUE | 0 | hpriv->phy_regulator->rdev->use_count | 0-4294967295 |
| PARAM_VALUE | 0 | *hpriv->saved_port_cap | 0-4294967295 |
| BUF_SIZE | 0 | hpriv | (-1),1,4,8-9,16,24,40,56,64,72,80,112,120,144,160,184,200,280,312,320,360,416,464,480,520,560,640,784,800,1200,1664,2160 |
| BUF_SIZE | 0 | hpriv | (-1),1,4,8-9,16,24,40,56,64,72,80,112,120,144,160,184,200,280,312,320,360,416,464,480,520,560,640,784,800,1200,1664,2160 |
| BUF_SIZE | 0 | hpriv->clks | (-1),32 |
| BUF_SIZE | 0 | hpriv->plat_data | (-1),24,32,64,80 |
| CAPPED_DATA | 0 | hpriv->ahci_regulator->rdev | 1 |
| CAPPED_DATA | 0 | hpriv->ahci_regulator->rdev->coupling_desc.n_coupled | 1 |
| CAPPED_DATA | 0 | hpriv->n_clks | 1 |
| CAPPED_DATA | 0 | hpriv->nports | 1 |
| CAPPED_DATA | 0 | hpriv->phy_regulator->rdev | 1 |
| CAPPED_DATA | 0 | hpriv->phy_regulator->rdev->coupling_desc.n_coupled | 1 |
| DATA_SOURCE | 0 | hpriv | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | hpriv->nports |