Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btintel_pcie.c btintel_pcie_enable_bt() -> btintel_pcie_set_reg_bits()

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->base_addr 4096-ptr_max
PARAM_VALUE 0 data->boot_stage_cache 0
PARAM_VALUE 0 data->dbgc.count 0,16
PARAM_VALUE 0 data->dbgc.frag_size 0,208
PARAM_VALUE 0 data->def_irq 0
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->gp0_received 0
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.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 data->reset_type 0-1
PARAM_VALUE 0 data->rxq.count 0,64
PARAM_VALUE 0 data->txq.count 0,32
PARAM_VALUE 1 offset 36
PARAM_VALUE 2 bits 128
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
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,7472,8064
BUF_SIZE 0 data->workqueue (-1),512,528-8720
CAPPED_DATA 0 data->alloc_vecs 1
DATA_SOURCE 0 data $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
UNITS 0 data unit_byte
HALF_LOCKED2 &hdev->req_lock