hci_dev_put_srcu identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

net/bluetooth/hci_core.c, line 98 (as a function)

Referenced in 1 files:

net/bluetooth/hci_core.c, line 577

Smatch caller information:

net/bluetooth/hci_core.c hci_dev_reset() -> hci_dev_put_srcu()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->acl_cnt	0
PARAM_VALUE	0	hdev->adv_instance_expire.work.lockdep_map->name	0-255
PARAM_VALUE	0	hdev->aosp_quality_report	1
PARAM_VALUE	0	hdev->cmd_cnt.counter	1
PARAM_VALUE	0	hdev->cmd_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->cmd_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->cmd_sync_work_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdev->cmd_sync_work_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hdev->cmd_sync_work_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hdev->cmd_sync_work_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->cmd_timer.work.lockdep_map->name	0-255
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.driver_data->new_baudrate	0-4294967295
PARAM_VALUE	0	hdev->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	hdev->dev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	hdev->discov_timeout	0
PARAM_VALUE	0	hdev->discovery.resolve.next	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.resolve.next->next	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.resolve.prev	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.resolve.prev->next	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.resolve.prev->prev	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.state	0-4
PARAM_VALUE	0	hdev->discovery.unknown.next	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.unknown.next->next	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.unknown.prev	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.unknown.prev->next	4096-ptr_max
PARAM_VALUE	0	hdev->discovery.unknown.prev->prev	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->prev	4096-ptr_max
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->interleave_scan.work.lockdep_map->name	0-255
PARAM_VALUE	0	hdev->interleave_scan_state	0
PARAM_VALUE	0	hdev->iso_cnt	0
PARAM_VALUE	0	hdev->le_cnt	0
PARAM_VALUE	0	hdev->lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdev->lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hdev->lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdev->lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hdev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hdev->lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->msft_curve_validity	1
PARAM_VALUE	0	hdev->msft_data	0
PARAM_VALUE	0	hdev->msft_data->evt_prefix_len	0-255
PARAM_VALUE	0	hdev->msft_data->filter_enabled	0-255
PARAM_VALUE	0	hdev->msft_data->resuming	0
PARAM_VALUE	0	hdev->pend_le_conns.next	4096-ptr_max
PARAM_VALUE	0	hdev->pend_le_conns.next->prev	4096-ptr_max
PARAM_VALUE	0	hdev->pend_le_reports.next	4096-ptr_max
PARAM_VALUE	0	hdev->pend_le_reports.next->prev	4096-ptr_max
PARAM_VALUE	0	hdev->raw_q.next	4096-ptr_max
PARAM_VALUE	0	hdev->raw_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->raw_q.prev	4096-ptr_max
PARAM_VALUE	0	hdev->raw_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->raw_q.qlen	0
PARAM_VALUE	0	hdev->req_lock.dep_map->name	0-255
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.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->req_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdev->req_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hdev->req_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hdev->req_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->req_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdev->req_rsp->_nfct	0
PARAM_VALUE	0	hdev->req_rsp->_skb_refdst	0
PARAM_VALUE	0	hdev->req_rsp->active_extensions	0
PARAM_VALUE	0	hdev->req_rsp->destructor	0
PARAM_VALUE	0	hdev->req_rsp->sk	0
PARAM_VALUE	0	hdev->req_rsp->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead	1
PARAM_VALUE	0	hdev->req_rsp->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev	4096-ptr_max
PARAM_VALUE	0	hdev->req_rsp->sk->__sk_common.skc_net.net->refcnt_tracker.dead	1
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_rsp->sk->sk_bpf_storage->owner_refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->req_rsp->sk->sk_callback_lock.owner	(-1)
PARAM_VALUE	0	hdev->req_rsp->sk->sk_callback_lock.owner_cpu	u32max
PARAM_VALUE	0	hdev->req_rsp->sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	hdev->req_rsp->sk->sk_rcu.func	1-u64max
PARAM_VALUE	0	hdev->req_skb	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->rpa_expired.work.lockdep_map->name	0-255
PARAM_VALUE	0	hdev->rx_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->rx_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->sco_cnt	0
PARAM_VALUE	0	hdev->sent_cmd	0
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->smp_bredr_data->conn->hcon->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	hdev->smp_bredr_data->conn->hcon->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	hdev->smp_bredr_data->conn->hcon->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	hdev->smp_bredr_data->conn->hcon->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	hdev->smp_bredr_data->data	0
PARAM_VALUE	0	hdev->smp_data->conn->hcon->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	hdev->smp_data->conn->hcon->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	hdev->smp_data->conn->hcon->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	hdev->smp_data->conn->hcon->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	hdev->smp_data->data	0
PARAM_VALUE	0	hdev->workqueue->nr_drainers	s32min-s32max
PARAM_VALUE	0	hdev->workqueue->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	*hdev->adv_data	0-255
PARAM_VALUE	0	*hdev->dev_class	0-255
PARAM_VALUE	0	*hdev->eir	0-255
PARAM_VALUE	0	*hdev->msft_data->evt_prefix	0-255
PARAM_VALUE	0	*hdev->scan_rsp_data	0-255
PARAM_VALUE	0	*hdev->workqueue->lockdep_map->name	0-255
PARAM_VALUE	1	srcu_index	0-1
DATA_SOURCE	0	hdev	r hci_dev_get_srcu
CAPABLE	0	12
NOCHECK_CALL
USER_DATA	0	hdev->msft_data->features	s64min-s64max[u]
NO_OVERFLOW_SIMPLE	0	hdev->adv_data_len
NO_OVERFLOW_SIMPLE	0	hdev->scan_rsp_data_len