rockchip_pcie_deinit_phys identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/pci/controller/pcie-rockchip.h, line 347 (as a prototype)

Defined in 1 files as a function:

drivers/pci/controller/pcie-rockchip.c, line 247 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/pci/controller/pcie-rockchip-ep.c rockchip_pcie_ep_probe() -> rockchip_pcie_deinit_phys()

Type	Parameter	Key	Value
PARAM_VALUE	0	rockchip	4096-ptr_max
PARAM_VALUE	0	rockchip->apb_base	4096-ptr_max
PARAM_VALUE	0	rockchip->clks	4096-ptr_max
PARAM_VALUE	0	rockchip->dev	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->dma_mem->pfn_base	0-s64max
PARAM_VALUE	0	rockchip->is_rc	0
PARAM_VALUE	0	rockchip->legacy_phy	1
PARAM_VALUE	0	rockchip->link_gen	0-2
PARAM_VALUE	0	rockchip->mem_res	4096-ptr_max
PARAM_VALUE	0	rockchip->mem_res->name	1-u64max
PARAM_VALUE	0	rockchip->num_clks	0-s32max
PARAM_VALUE	0	rockchip->perst_gpio	0,4096-ptr_max
PARAM_VALUE	0	rockchip->reg_base	4096-ptr_max
BUF_SIZE	0	rockchip	296
BUF_SIZE	0	rockchip->dev	1616
CAPPED_DATA	0	rockchip->dev	1
CAPPED_DATA	0	rockchip->num_clks	1
MEM_ZERO	0	rockchip
MEM_ZERO	0	rockchip->dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/pcie-rockchip-host.c rockchip_pcie_probe() -> rockchip_pcie_deinit_phys()

Type	Parameter	Key	Value
PARAM_VALUE	0	rockchip	4096-ptr_max
PARAM_VALUE	0	rockchip->apb_base	4096-ptr_max
PARAM_VALUE	0	rockchip->clks	4096-ptr_max
PARAM_VALUE	0	rockchip->dev	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->dma_mem->pfn_base	0-s64max
PARAM_VALUE	0	rockchip->dev->of_node	0,4096-ptr_max
PARAM_VALUE	0	rockchip->is_rc	1
PARAM_VALUE	0	rockchip->lanes_map	0-15
PARAM_VALUE	0	rockchip->legacy_phy	1
PARAM_VALUE	0	rockchip->link_gen	0-2
PARAM_VALUE	0	rockchip->mem_res	4096-ptr_max
PARAM_VALUE	0	rockchip->mem_res->name	1-u64max
PARAM_VALUE	0	rockchip->num_clks	0-s32max
PARAM_VALUE	0	rockchip->perst_gpio	0,4096-ptr_max
PARAM_VALUE	0	rockchip->reg_base	4096-ptr_max
PARAM_VALUE	0	rockchip->vpcie0v9	4096-ptr_max
PARAM_VALUE	0	rockchip->vpcie0v9->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->ena_gpio_state	1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->ena_pin->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->notifier.head->priority	s32min-s32max
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->load	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->load_updated	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->async	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache_dirty	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->supply->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->use_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v	4096-ptr_max,(-19)
PARAM_VALUE	0	rockchip->vpcie12v->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->ena_gpio_state	1
PARAM_VALUE	0	rockchip->vpcie12v->rdev->ena_pin->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->notifier.head->priority	s32min-s32max
PARAM_VALUE	0	rockchip->vpcie12v->rdev->reg_data->load	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->reg_data->load_updated	0-1
PARAM_VALUE	0	rockchip->vpcie12v->rdev->reg_data->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->reg_data->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->regmap->async	0-1
PARAM_VALUE	0	rockchip->vpcie12v->rdev->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color	0-1
PARAM_VALUE	0	rockchip->vpcie12v->rdev->regmap->cache_dirty	0-1
PARAM_VALUE	0	rockchip->vpcie12v->rdev->supply->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie12v->rdev->use_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8	4096-ptr_max
PARAM_VALUE	0	rockchip->vpcie1v8->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->ena_gpio_state	1
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->ena_pin->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->notifier.head->priority	s32min-s32max
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->reg_data->load	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->reg_data->load_updated	0-1
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->reg_data->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->reg_data->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->regmap->async	0-1
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color	0-1
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->regmap->cache_dirty	0-1
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->supply->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie1v8->rdev->use_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3	4096-ptr_max,(-19)
PARAM_VALUE	0	rockchip->vpcie3v3->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->ena_gpio_state	1
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->ena_pin->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->mutex->base.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->notifier.head->priority	s32min-s32max
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->ref_cnt	s32min-s32max
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->reg_data->load	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->reg_data->load_updated	0-1
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->reg_data->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->reg_data->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->regmap->async	0-1
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color	0-1
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->regmap->cache_dirty	0-1
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->supply->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->use_count	0-4294967295
BUF_SIZE	0	rockchip	0-1080
BUF_SIZE	0	rockchip	0-1080
BUF_SIZE	0	rockchip->dev	1616
CAPPED_DATA	0	rockchip->dev	1
CAPPED_DATA	0	rockchip->num_clks	1
CAPPED_DATA	0	rockchip->vpcie0v9->rdev	1
CAPPED_DATA	0	rockchip->vpcie0v9->rdev->coupling_desc.n_coupled	1
CAPPED_DATA	0	rockchip->vpcie1v8->rdev	1
CAPPED_DATA	0	rockchip->vpcie1v8->rdev->coupling_desc.n_coupled	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	rockchip->lanes_map	0-15

drivers/pci/controller/pcie-rockchip-host.c rockchip_pcie_remove() -> rockchip_pcie_deinit_phys()

Type	Parameter	Key	Value
PARAM_VALUE	0	rockchip	4096-ptr_max
PARAM_VALUE	0	rockchip->irq_domain	4096-ptr_max
BUF_SIZE	0	rockchip	s32min-(-2),1-s32max
BUF_SIZE	0	rockchip	s32min-(-2),1-s32max
CAPPED_DATA	0	rockchip->irq_domain	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	rockchip	unit_byte
HALF_LOCKED2		&_dev->mutex

drivers/pci/controller/pcie-rockchip-host.c rockchip_pcie_resume_noirq() -> rockchip_pcie_deinit_phys()

Type	Parameter	Key	Value
PARAM_VALUE	0	rockchip	4096-ptr_max
PARAM_VALUE	0	rockchip->dev->of_node	0,4096-ptr_max
PARAM_VALUE	0	rockchip->lanes_map	0-15
PARAM_VALUE	0	rockchip->perst_gpio	0,4096-u64max
PARAM_VALUE	0	rockchip->vpcie0v9	4096-ptr_max
PARAM_VALUE	0	rockchip->vpcie0v9->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev	4096-ptr_max
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->ena_gpio_state	1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->ena_pin->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->notifier.head->priority	s32min-s32max
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->load	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->load_updated	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->lock->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->lock->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->lock.dep_map->name	0-255
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->reg_data->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->async	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache->cached_rbnode->base_reg	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache->cached_rbnode->blklen	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache->cached_rbnode->node.__rb_parent_color	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->regmap->cache_dirty	0-1
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->supply->enable_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie0v9->rdev->use_count	0-4294967295
PARAM_VALUE	0	rockchip->vpcie3v3	4096-u64max
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->mutex->base.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	rockchip->vpcie3v3->rdev->ref_cnt	s32min-s32max
BUF_SIZE	0	rockchip	s32min-(-2),1-s32max
BUF_SIZE	0	rockchip	s32min-(-2),1-s32max
CAPPED_DATA	0	rockchip->num_clks	1
CAPPED_DATA	0	rockchip->vpcie0v9->rdev	1
CAPPED_DATA	0	rockchip->vpcie0v9->rdev->coupling_desc.n_coupled	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	rockchip->lanes_map	0-15
UNITS	0	rockchip	unit_byte

drivers/pci/controller/pcie-rockchip-host.c rockchip_pcie_suspend_noirq() -> rockchip_pcie_deinit_phys()

Type	Parameter	Key	Value
PARAM_VALUE	0	rockchip	4096-ptr_max
BUF_SIZE	0	rockchip	s32min-(-2),1-s32max
BUF_SIZE	0	rockchip	s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	rockchip	unit_byte