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_reset_bt()

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 0,4096-ptr_max,(-22),(-16),(-12)
PARAM_VALUE 0 data->boot_stage_cache 0
PARAM_VALUE 0 data->cdev 0
PARAM_VALUE 0 data->ci 0,4096-ptr_max
PARAM_VALUE 0 data->cis_mem.card_start 0-4294967295
PARAM_VALUE 0 data->cis_mem.flags 0,2-254
PARAM_VALUE 0 data->cis_mem.res 0
PARAM_VALUE 0 data->cis_virt 0
PARAM_VALUE 0 data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 data->dbgc.buf_v_addr 0-ptr_max
PARAM_VALUE 0 data->dbgc.bufs 0,4096-ptr_max
PARAM_VALUE 0 data->dbgc.count 0,16
PARAM_VALUE 0 data->dbgc.frag_size 0,208
PARAM_VALUE 0 data->dbgc.frag_v_addr 0-ptr_max
PARAM_VALUE 0 data->def_irq 0
PARAM_VALUE 0 data->detaching.counter s32min-s32max
PARAM_VALUE 0 data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 data->dev.kobj.release.work.flags 0-4294967295
PARAM_VALUE 0 data->dev.kobj.release.work.is_hard 0-1
PARAM_VALUE 0 data->dev.kobj.release.work.is_lazy 0-1
PARAM_VALUE 0 data->dev.kobj.release.work.is_queued 0-1
PARAM_VALUE 0 data->dev.kobj.release.work.is_soft 0-1
PARAM_VALUE 0 data->device_count 0-1
PARAM_VALUE 0 data->dma_pool 0,4096-ptr_max
PARAM_VALUE 0 data->dma_v_addr 0,4096-ptr_max
PARAM_VALUE 0 data->dmp_hdr.driver_name 0
PARAM_VALUE 0 data->dump_workqueue 4096-ptr_max
PARAM_VALUE 0 data->functions 0-u16max
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->hdev 0
PARAM_VALUE 0 data->ia.cr_hia 0,4096-ptr_max
PARAM_VALUE 0 data->ia.tr_hia 0,4096-ptr_max
PARAM_VALUE 0 data->img_resp_cache 0
PARAM_VALUE 0 data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 data->pcmcia_pfc 0-255
PARAM_VALUE 0 data->pdev 4096-ptr_max
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->driver 4096-ptr_max
PARAM_VALUE 0 data->present.counter s32min-s32max
PARAM_VALUE 0 data->reset_type 0
PARAM_VALUE 0 data->resource_setup_done 0-255
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 0-ptr_max
PARAM_VALUE 0 data->rxq.bufs 0,4096-ptr_max
PARAM_VALUE 0 data->rxq.count 0,64
PARAM_VALUE 0 data->rxq.frbds 0,4096-ptr_max
PARAM_VALUE 0 data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 data->skt_mutex.osq.tail.counter s32min-s32max
PARAM_VALUE 0 data->state 0-4294967295
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 0-ptr_max
PARAM_VALUE 0 data->txq.bufs 0,4096-ptr_max
PARAM_VALUE 0 data->txq.count 0,32
PARAM_VALUE 0 data->txq.tfds 0,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
DATA_SOURCE 0 data r devm_kzalloc
FUZZY_MAX 0 data->alloc_vecs 0
FUZZY_MAX 0 data->cis_mem.card_start 0
FUZZY_MAX 0 data->cis_mem.flags 0
FUZZY_MAX 0 data->d_ref.refcount.refs.counter 0
FUZZY_MAX 0 data->dbgc.count 0
FUZZY_MAX 0 data->dbgc.frag_size 0
FUZZY_MAX 0 data->detaching.counter 0
FUZZY_MAX 0 data->dev.kobj.kref.refcount.refs.counter 0
FUZZY_MAX 0 data->dev.kobj.release.cpu 0
FUZZY_MAX 0 data->dev.kobj.release.timer.flags 0
FUZZY_MAX 0 data->dev.kobj.release.timer.is_hard 0
FUZZY_MAX 0 data->dev.kobj.release.timer.is_lazy 0
FUZZY_MAX 0 data->dev.kobj.release.timer.is_queued 0
FUZZY_MAX 0 data->dev.kobj.release.timer.is_soft 0
FUZZY_MAX 0 data->dev.kobj.release.work.flags 0
FUZZY_MAX 0 data->dev.kobj.release.work.is_hard 0
FUZZY_MAX 0 data->dev.kobj.release.work.is_lazy 0
FUZZY_MAX 0 data->dev.kobj.release.work.is_queued 0
FUZZY_MAX 0 data->dev.kobj.release.work.is_soft 0
FUZZY_MAX 0 data->device_count 0
FUZZY_MAX 0 data->functions 0
FUZZY_MAX 0 data->ops_mutex.osq.tail.counter 0
FUZZY_MAX 0 data->pcmcia_pfc 0
FUZZY_MAX 0 data->present.counter 0
FUZZY_MAX 0 data->resource_setup_done 0
FUZZY_MAX 0 data->rxq.count 0
FUZZY_MAX 0 data->sfd_lock.raw_lock.cnts.counter 0
FUZZY_MAX 0 data->skt_mutex.osq.tail.counter 0
FUZZY_MAX 0 data->state 0
FUZZY_MAX 0 data->txq.count 0
MEM_ZERO 0 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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

drivers/bluetooth/btintel_pcie.c btintel_pcie_remove() -> btintel_pcie_reset_bt()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->alloc_vecs 0-s32max
PARAM_VALUE 0 data->coredump_work.lockdep_map->name 0-255
PARAM_VALUE 0 data->fwtrigger_work.lockdep_map->name 0-255
PARAM_VALUE 0 data->hwexp_work.lockdep_map->name 0-255
PARAM_VALUE 0 data->irq_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
CAPPED_DATA 0 data->alloc_vecs 1
CAPPED_DATA 0 &data->coredump_work 1
CAPPED_DATA 0 &data->fwtrigger_work 1
CAPPED_DATA 0 &data->hwexp_work 1
CAPPED_DATA 0 &data->reset_work 1
CAPPED_DATA 0 &data->rx_work 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 data unit_byte

drivers/bluetooth/btintel_pcie.c btintel_pcie_setup() -> btintel_pcie_reset_bt()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->alive_intr_ctxt 0-6
PARAM_VALUE 0 data->alloc_vecs 0-s32max
PARAM_VALUE 0 data->dmp_hdr.cnvi_bt 0
PARAM_VALUE 0 data->dmp_hdr.cnvi_top 0
PARAM_VALUE 0 data->dmp_hdr.cnvr_top 0
PARAM_VALUE 0 data->dmp_hdr.fw_build_num 0
PARAM_VALUE 0 data->dmp_hdr.fw_build_type 0
PARAM_VALUE 0 data->dmp_hdr.fw_git_sha1 0
PARAM_VALUE 0 data->dmp_hdr.fw_timestamp 0
PARAM_VALUE 0 data->irq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 data->rxq.count 0,64
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
CAPPED_DATA 0 data->alloc_vecs 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 data unit_byte
LOCK2 &hdev->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hci_dev)->req_lock