Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/dwc/pcie-designware-debugfs.c dwc_pcie_debugfs_deinit() -> dwc_pcie_rasdes_debugfs_deinit()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->debugfs 1-u64max
PARAM_VALUE 0 pci->ptm_debugfs 0,4096-ptr_max
PARAM_VALUE 0 pci->ptm_debugfs->debugfs->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pci->ptm_debugfs->debugfs->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pci->ptm_debugfs->debugfs->d_sib->next->pprev 1-u64max
CAPPED_DATA 0 pci->ptm_debugfs 1
DATA_SOURCE 0 pci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/controller/dwc/pcie-designware-debugfs.c dwc_pcie_rasdes_debugfs_init() -> dwc_pcie_rasdes_debugfs_deinit()

Type Parameter Key Value
PARAM_VALUE 0 pci 4096-ptr_max
PARAM_VALUE 0 pci->atu_base 4096-ptr_max
PARAM_VALUE 0 pci->atu_size 44
PARAM_VALUE 0 pci->debugfs 4096-ptr_max
PARAM_VALUE 0 pci->debugfs->debug_dir 4096-u64max
PARAM_VALUE 0 pci->debugfs->rasdes_info 4096-ptr_max
PARAM_VALUE 0 pci->dev 4096-ptr_max
PARAM_VALUE 0 pci->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 pci->dev->class 0,4096-ptr_max
PARAM_VALUE 0 pci->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pci->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 pci->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 pci->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 pci->dev->driver_data->apb->cache->cached_rbnode->node.__rb_parent_color 0-1
PARAM_VALUE 0 pci->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pci->edma.dw->core 0-s64max
PARAM_VALUE 0 pci->edma.dw->nr_irqs s32min-s32max
PARAM_VALUE 0 pci->edma.dw->rd_ch_cnt 0-u16max
PARAM_VALUE 0 pci->edma.dw->wr_ch_cnt 0-u16max
PARAM_VALUE 0 pci->edma.mf 0-1
PARAM_VALUE 0 pci->edma.ops 1-u64max
PARAM_VALUE 0 pci->edma.ops->irq_vector 7235512870814306304
PARAM_VALUE 0 pci->edma.ops->pci_address 0
PARAM_VALUE 0 pci->ops 0,4096-ptr_max
PARAM_VALUE 0 pci->ops->link_up 0,4096-ptr_max
PARAM_VALUE 0 pci->ops->read_dbi 0,4096-ptr_max
PARAM_VALUE 0 pci->ops->start_link 0,4096-ptr_max
PARAM_VALUE 0 pci->ops->write_dbi 0,4096-ptr_max
BUF_SIZE 0 pci->debugfs 16
BUF_SIZE 0 pci->debugfs->rasdes_info 160
DATA_SOURCE 0 pci $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pci->edma.ll_rd_cnt 0-u16max[c]
HOST_DATA 0 pci->max_link_speed s32min-s32max[c]
HOST_DATA 0 pci->num_lanes s32min-s32max[c]
HOST_DATA 0 pci->region_limit u32max,8589934591-u64max[c]
HOST_DATA 0 pci->type 0-u32max
NO_OVERFLOW_SIMPLE 0 pci->num_ob_windows