Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btmtksdio.c btmtksdio_setup() -> btmtksdio_reset_setting()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->aosp_capable 1
PARAM_VALUE 0 hdev->cmd_cnt.counter 1
PARAM_VALUE 0 hdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 hdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 hdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb 0
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->_nfct 0
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->_skb_refdst 0
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->active_extensions 0
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->destructor 0
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk 0
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 0 hdev->dev.driver_data->evt_skb->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->claim_cnt s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->cqe_on 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->doing_retune 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->fail_mmc_request.ratelimit_state.flags 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->fail_mmc_request.space.counter s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->fail_mmc_request.times.counter s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->hold_retune s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->led->brightness 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->need_retune s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->ongoing_mrq->uhs2_cmd.packet_len 0,4-12
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->ongoing_mrq->uhs2_cmd.payload_len 0-8
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len 0,4-6,8
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->parent->dma_uses_io_tlb 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->parent->iommu->attach_deferred 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->cookie s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->cookie_sg_count (-22),0-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->dev->dma_uses_io_tlb 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->dma_len 1-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->next_data.cookie s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->next_data.dma_len 0-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->pcr->pcr_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->pdev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->sg_count s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->private->ucr->dev_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->retune_now 0-1
PARAM_VALUE 0 hdev->dev.driver_data->func->card->host->uhs2_app_cmd 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->authenticated 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->authorized 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->bus_mA 0-u16max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->can_submit 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->dev.devt 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->dev.id 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->dev.numa_node s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->dev.removable 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->devaddr 0-255
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->devnum s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->do_remote_wakeup 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->ep0.enabled s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->ep0.extralen s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->ep0.streams s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->have_langid 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->hub_delay 0-u16max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->level 0-255
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->lpm_capable 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->lpm_devinit_allow 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->lpm_disable_count 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->maxchild s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->offload_pm_locked 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->offload_usage s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->persist_enabled 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->port_is_suspended 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->portnum 0-255
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->quirks 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->reset_in_progress 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->reset_resume 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->route 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->rx_lanes 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->slot_id s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->speed 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->ssp_rate 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->state 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->string_langid s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->ttport s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->tunnel_mode 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->tx_lanes 0-4294967295
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->urbnum.counter s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->usb2_hw_lpm_allowed 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->usb2_hw_lpm_besl_capable 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->usb2_hw_lpm_capable 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->usb2_hw_lpm_enabled 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->usb3_lpm_u1_enabled 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->usb3_lpm_u2_enabled 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->parent->use_generic_driver 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->u1_params.timeout s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->u2_params.timeout s32min-s32max
PARAM_VALUE 0 hdev->dev.driver_data->udev->usb3_lpm_u1_enabled 0-1
PARAM_VALUE 0 hdev->dev.driver_data->udev->usb3_lpm_u2_enabled 0-1
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 0 hdev->dump.alloc_size 0
PARAM_VALUE 0 hdev->dump.dump_q.next 4096-ptr_max
PARAM_VALUE 0 hdev->dump.dump_q.next->prev 2011684551238094848
PARAM_VALUE 0 hdev->dump.dump_q.prev 4096-ptr_max
PARAM_VALUE 0 hdev->dump.dump_q.prev->next 2011684551238094848
PARAM_VALUE 0 hdev->dump.dump_q.qlen 0
PARAM_VALUE 0 hdev->dump.dump_timeout.work.entry.next 1-u64max
PARAM_VALUE 0 hdev->dump.dump_timeout.work.entry.next->next 1-u64max
PARAM_VALUE 0 hdev->dump.dump_timeout.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 hdev->dump.dump_timeout.work.entry.prev 1-u64max
PARAM_VALUE 0 hdev->dump.dump_timeout.work.entry.prev->next 1-u64max
PARAM_VALUE 0 hdev->dump.dump_timeout.work.entry.prev->prev 1-u64max
PARAM_VALUE 0 hdev->dump.head 0
PARAM_VALUE 0 hdev->dump.state 0
PARAM_VALUE 0 hdev->dump.tail 0
PARAM_VALUE 0 hdev->get_codec_config_data 7127297599609438208
PARAM_VALUE 0 hdev->get_data_path_id 7559716443318104064
PARAM_VALUE 0 hdev->msft_opcode 64816
PARAM_VALUE 0 hdev->quirk_flags 4096-ptr_max
PARAM_VALUE 0 hdev->req_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hdev->req_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hdev->req_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hdev->req_lock.wait_lock.owner (-1)
PARAM_VALUE 0 hdev->req_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 hdev->req_result 0
PARAM_VALUE 0 hdev->req_rsp 0
PARAM_VALUE 0 hdev->req_skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->req_skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 hdev->req_skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->req_status 0-1
PARAM_VALUE 0 hdev->req_workqueue->flush_color s32min-s32max
PARAM_VALUE 0 hdev->req_workqueue->work_color s32min-s32max
PARAM_VALUE 0 hdev->rx_work.entry.next 4096-ptr_max
PARAM_VALUE 0 hdev->sent_cmd->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->sent_cmd->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 hdev->sent_cmd->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->setup 1-u64max
PARAM_VALUE 0 hdev->workqueue->flags 0-4294967295
PARAM_VALUE 0 hdev->workqueue->flush_color s32min-s32max
PARAM_VALUE 0 hdev->workqueue->nr_drainers s32min-s32max
PARAM_VALUE 0 hdev->workqueue->work_color s32min-s32max
PARAM_VALUE 0 *hdev->dev.driver_data->evt_skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
CAPPED_DATA 0 hdev 1
CAPPED_DATA 0 hdev->hci_drv->specific_handler_count 1
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 hdev->dev.driver_data->evt_skb->data->hhdr.evt 0-255[u]
USER_DATA 0 hdev->dev.driver_data->evt_skb->data->hhdr.plen 0-255[u]
USER_DATA 0 hdev->dev.driver_data->evt_skb->data->whdr.dir 0-255[u]
USER_DATA 0 hdev->dev.driver_data->evt_skb->data->whdr.dlen 1-251[u]
USER_DATA 0 hdev->dev.driver_data->evt_skb->data->whdr.flag 0-4,7[u]
LOCK2 0 &hdev->req_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hci_dev)->req_lock