Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/peak_canfd/peak_pciefd_main.c peak_pciefd_probe() -> pciefd_can_remove_all()

Type Parameter Key Value
PARAM_VALUE 0 pciefd 4096-ptr_max
PARAM_VALUE 0 pciefd->can_count 0-3
PARAM_VALUE 0 pciefd->pci_dev 0,4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 pciefd->pci_dev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 pciefd->pci_dev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 pciefd->pci_dev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 pciefd->pci_dev->driver 4096-ptr_max
PARAM_VALUE 0 pciefd->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 0 pciefd->pci_dev->pcie_cap 0-1
PARAM_VALUE 0 pciefd->reg_base 0,65536-131071
BUF_SIZE 0 pciefd 104-128
BUF_SIZE 0 pciefd 104-128
BUF_SIZE 0 pciefd->can 8-32,u64max
BUF_SIZE 0 pciefd->pci_dev (-1)-0,16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
CAPPED_DATA 0 pciefd->can_count 1
DATA_SOURCE 0 pciefd r devm_kzalloc
FUZZY_MAX 0 pciefd->can_count 3
HARD_MAX 0 pciefd->can_count 3
MEM_ZERO 0 pciefd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 pciefd->pci_dev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 pciefd->can_count

drivers/net/can/peak_canfd/peak_pciefd_main.c peak_pciefd_remove() -> pciefd_can_remove_all()

Type Parameter Key Value
BUF_SIZE 0 pciefd s32min-(-2),1-s32max
BUF_SIZE 0 pciefd s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 pciefd unit_byte