Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btintel_pcie.c btintel_pcie_probe() -> btintel_pcie_setup_hdev()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->alive_intr_ctxt 0
PARAM_VALUE 0 data->alloc_vecs 0-s32max
PARAM_VALUE 0 data->base_addr 4096-ptr_max
PARAM_VALUE 0 data->boot_stage_cache 0
PARAM_VALUE 0 data->ci 4096-ptr_max
PARAM_VALUE 0 data->ci->config 0
PARAM_VALUE 0 data->ci->dbg_output_mode 1
PARAM_VALUE 0 data->ci->dbg_preset 0
PARAM_VALUE 0 data->ci->dbgc_addr 0
PARAM_VALUE 0 data->ci->dbgc_size 208
PARAM_VALUE 0 data->ci->frbdq_db_vec 1
PARAM_VALUE 0 data->ci->num_cr_ia 2
PARAM_VALUE 0 data->ci->num_frbdq 64
PARAM_VALUE 0 data->ci->num_tfdq 32
PARAM_VALUE 0 data->ci->num_tr_ia 2
PARAM_VALUE 0 data->ci->num_urbdq0 32
PARAM_VALUE 0 data->ci->num_urbdq1 64
PARAM_VALUE 0 data->ci->rbd_size 4
PARAM_VALUE 0 data->ci->size 152
PARAM_VALUE 0 data->ci->tfdq_db_vec 0
PARAM_VALUE 0 data->ci->urbdq0_db_vec 0
PARAM_VALUE 0 data->ci->urbdq_db_vec 1
PARAM_VALUE 0 data->ci->version 1
PARAM_VALUE 0 data->dbgc.buf_v_addr 1-ptr_max
PARAM_VALUE 0 data->dbgc.bufs 4096-ptr_max
PARAM_VALUE 0 data->dbgc.bufs->data 0
PARAM_VALUE 0 data->dbgc.bufs->data_p_addr 0
PARAM_VALUE 0 data->dbgc.count 16
PARAM_VALUE 0 data->dbgc.frag_size 208
PARAM_VALUE 0 data->dbgc.frag_v_addr 1-ptr_max
PARAM_VALUE 0 data->def_irq 0
PARAM_VALUE 0 data->dma_pool 4096-ptr_max
PARAM_VALUE 0 data->dma_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 data->dma_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 data->dma_pool->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 data->dma_pool->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->dma_pool->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 data->dma_pool->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 data->dma_pool->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->dma_v_addr 4096-ptr_max
PARAM_VALUE 0 data->dump_workqueue 4096-ptr_max
PARAM_VALUE 0 data->gp0_received 0
PARAM_VALUE 0 data->gp0_wait_q.head.next->next 4096-ptr_max
PARAM_VALUE 0 data->gp0_wait_q.head.prev->next 4096-ptr_max
PARAM_VALUE 0 data->gp0_wait_q.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 data->ia.cr_hia 4096-ptr_max
PARAM_VALUE 0 data->ia.tr_hia 4096-ptr_max
PARAM_VALUE 0 data->img_resp_cache 0
PARAM_VALUE 0 data->msix_enabled 1
PARAM_VALUE 0 data->pdev 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 data->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 data->pdev->dev.cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 data->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 data->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->pdev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 data->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 data->pdev->driver 4096-ptr_max
PARAM_VALUE 0 data->pdev->pcie_cap 0-1
PARAM_VALUE 0 data->reset_type 0
PARAM_VALUE 0 data->rx_skb_q.next 4096-ptr_max
PARAM_VALUE 0 data->rx_skb_q.prev 4096-ptr_max
PARAM_VALUE 0 data->rx_skb_q.qlen 0
PARAM_VALUE 0 data->rxq.buf_v_addr 1-ptr_max
PARAM_VALUE 0 data->rxq.bufs 4096-ptr_max
PARAM_VALUE 0 data->rxq.count 64
PARAM_VALUE 0 data->rxq.frbds 4096-ptr_max
PARAM_VALUE 0 data->tx_wait_done 0
PARAM_VALUE 0 data->tx_wait_q.head.next 4096-ptr_max
PARAM_VALUE 0 data->tx_wait_q.head.next->next 4096-ptr_max
PARAM_VALUE 0 data->tx_wait_q.head.prev 4096-ptr_max
PARAM_VALUE 0 data->tx_wait_q.head.prev->next 4096-ptr_max
PARAM_VALUE 0 data->tx_wait_q.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 data->txq.buf_v_addr 1-ptr_max
PARAM_VALUE 0 data->txq.bufs 4096-ptr_max
PARAM_VALUE 0 data->txq.count 32
PARAM_VALUE 0 data->txq.tfds 4096-ptr_max
PARAM_VALUE 0 data->workqueue 4096-ptr_max
BUF_SIZE 0 data 1288
BUF_SIZE 0 data->dump_workqueue (-1),512,528-8720
BUF_SIZE 0 data->pdev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,8064
BUF_SIZE 0 data->workqueue (-1),512,528-8720
CAPPED_DATA 0 data->dma_pool 1
CAPPED_DATA 0 data->txq.buf_v_addr 1
DATA_SOURCE 0 data r devm_kzalloc
TERMINATED 0 data->base_addr->node.name 1
MEM_ZERO 0 data
MEM_ZERO 0 data->rxq.buf_v_addr
MEM_ZERO 0 data->rxq.bufs
MEM_ZERO 0 data->rxq.frbds
MEM_ZERO 0 data->rxq.urbd1s
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 data->cnvi 0-u32max
HOST_DATA 0 data->cnvr 0-u32max
HOST_DATA 0 data->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 data->ci->num_frbdq
NO_OVERFLOW_SIMPLE 0 data->ci->num_tfdq
NO_OVERFLOW_SIMPLE 0 data->ci->num_urbdq0
NO_OVERFLOW_SIMPLE 0 data->ci->num_urbdq1
NO_OVERFLOW_SIMPLE 0 data->dbgc.count
NO_OVERFLOW_SIMPLE 0 data->rxq.count
NO_OVERFLOW_SIMPLE 0 data->txq.count