Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/bluetooth/btusb.c btusb_hci_drv_switch_altsetting() -> btusb_switch_alt_setting()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->adv_instance_expire.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 hdev->adv_instance_expire.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 hdev->adv_instance_expire.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 hdev->debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hdev->debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 hdev->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 hdev->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 hdev->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 hdev->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 hdev->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 hdev->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 hdev->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 hdev->hci_drv 4096-ptr_max
PARAM_VALUE 0 hdev->hci_drv->common_handlers 4096-ptr_max
PARAM_VALUE 0 hdev->hci_drv->specific_handler_count 0,2
PARAM_VALUE 0 hdev->hci_drv->specific_handlers 4096-ptr_max
PARAM_VALUE 0 hdev->interleave_scan.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 hdev->interleave_scan.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 hdev->interleave_scan.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 hdev->req_rsp->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 hdev->req_rsp->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 hdev->req_rsp->sk->ns_tracker->free_stack_handle 0-4294967295
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_workqueue->flush_color s32min-s32max
PARAM_VALUE 0 hdev->req_workqueue->work_color s32min-s32max
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->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 1 new_alts 0-6
BUF_SIZE 0 hdev (-1),1-u16max
BUF_SIZE 0 hdev (-1),1-u16max
BUF_SIZE 0 hdev->sent_cmd (-1),240
CAPPED_DATA 0 hdev 1
CAPPED_DATA 0 hdev->hci_drv->specific_handler_count 1
DATA_SOURCE 0 hdev $0
FUZZY_MAX 1 new_alts 6
STR_LEN 0 hdev (-1),23,63
STR_LEN 0 hdev (-1),23,63
HARD_MAX 1 new_alts 6
RX_PATH
TASK_NOT_RUNNING
USER_PTR 0 hdev->sent_cmd->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &hdev->req_lock

drivers/bluetooth/btusb.c btusb_work() -> btusb_switch_alt_setting()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock