Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/pci/controller/dwc/pcie-spacemit-k1.c k1_pcie_deinit() -> k1_pcie_disable_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | k1 | 4096-ptr_max |
| PARAM_VALUE | 0 | k1->phy | 0,4096-ptr_max |
| PARAM_VALUE | 0 | k1->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | k1->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | k1->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | k1->pmu | 4096-ptr_max |
| PARAM_VALUE | 0 | k1->pmu->async | 0 |
| BUF_SIZE | 0 | k1 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | k1 | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | k1->pmu->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | k1->pmu->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | k1->pmu->volatile_table->n_yes_ranges | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/pci/controller/dwc/pcie-spacemit-k1.c k1_pcie_init() -> k1_pcie_disable_resources()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | k1 | 4096-ptr_max |
| PARAM_VALUE | 0 | k1->phy | 4096-ptr_max |
| PARAM_VALUE | 0 | k1->phy->dev.power.request | 0-4 |
| PARAM_VALUE | 0 | k1->phy->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | k1->phy->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | k1->pmu | 4096-ptr_max |
| PARAM_VALUE | 0 | k1->pmu->async | 0 |
| PARAM_VALUE | 0 | k1->pmu->cache->cached_rbnode->base_reg | 0-4294967295 |
| PARAM_VALUE | 0 | k1->pmu->cache->cached_rbnode->blklen | 0-4294967295 |
| PARAM_VALUE | 0 | k1->pmu->cache_dirty | 1 |
| PARAM_VALUE | 0 | k1->pmu->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | k1->pmu->unlock | 4096-ptr_max |
| BUF_SIZE | 0 | k1 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | k1 | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | k1->pmu->rd_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | k1->pmu->rd_table->n_yes_ranges | 1 |
| CAPPED_DATA | 0 | k1->pmu->volatile_table->n_no_ranges | 1 |
| CAPPED_DATA | 0 | k1->pmu->volatile_table->n_yes_ranges | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |