virtbt_flush identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/bluetooth/virtio_bt.c, line 89 (as a function)

Referenced in 1 files:

drivers/bluetooth/virtio_bt.c, line 333

Smatch caller information:

net/bluetooth/hci_sync.c hci_dev_close_sync() -> (struct hci_dev)->flush()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->adv_instance_timeout	0
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->debugfs->d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	hdev->debugfs->d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	hdev->debugfs->d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	hdev->debugfs->d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	hdev->debugfs->d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	hdev->debugfs->d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	hdev->debugfs->d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	hdev->debugfs->d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	hdev->debugfs->d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	hdev->debugfs->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	hdev->debugfs->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	hdev->debugfs->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	hdev->debugfs->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	hdev->debugfs->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	hdev->debugfs->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	hdev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	hdev->dev_flags	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->flush	1-u64max
PARAM_VALUE	0	hdev->interleave_scan.work.lockdep_map->name	0-255
PARAM_VALUE	0	hdev->interleave_scan_state	0
PARAM_VALUE	0	hdev->lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->lock.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	hdev->lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdev->lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	hdev->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdev->lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->power_led	0,4096-ptr_max
PARAM_VALUE	0	hdev->power_led->brightness	0,255
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.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdev->req_lock.wait_lock.dep_map->name	0-255
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	1-s32max
PARAM_VALUE	0	hdev->req_status	0,2-u32max
PARAM_VALUE	0	hdev->smp_bredr_data	0
PARAM_VALUE	0	hdev->smp_data	0
PARAM_VALUE	0	hdev->workqueue	4096-ptr_max
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->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	hdev->workqueue->work_color	s32min-s32max
PARAM_VALUE	0	*hdev->adv_data	0-255
PARAM_VALUE	0	*hdev->scan_rsp_data	0-255
PARAM_VALUE	0	*hdev->workqueue->lockdep_map->name	0-255
BUF_SIZE	0	hdev	(-1)-s32max
BUF_SIZE	0	hdev	(-1)-s32max
CAPPED_DATA	0	hdev	1
CAPPED_DATA	0	&hdev->lock	1
CAPPED_DATA	0	&hdev->rx_work	1
CAPPED_DATA	0	&hdev->tx_work	1
DATA_SOURCE	0	hdev	$0
FUZZY_MAX	0	hdev->discovery.state	0
CONTAINER	0	-8992+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	hdev->adv_data_len
NO_OVERFLOW_SIMPLE	0	hdev->scan_rsp_data_len
LOCK2	0	&hdev->req_lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct hci_dev)->req_lock

net/bluetooth/hci_sync.c hci_dev_open_sync() -> (struct hci_dev)->flush()

Type	Parameter	Key	Value
PARAM_VALUE	0	hdev	4096-ptr_max
PARAM_VALUE	0	hdev->aosp_quality_report	1
PARAM_VALUE	0	hdev->cmd_cnt.counter	1
PARAM_VALUE	0	hdev->cmd_q.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->cmd_q.next	4096-ptr_max
PARAM_VALUE	0	hdev->cmd_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->cmd_q.prev	4096-ptr_max
PARAM_VALUE	0	hdev->cmd_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->cmd_q.qlen	0
PARAM_VALUE	0	hdev->dev.driver_data->current_baudrate	0-4294967295
PARAM_VALUE	0	hdev->dev.driver_data->new_baudrate	0-4294967295
PARAM_VALUE	0	hdev->dev.driver_data->psdata.cur_h2c_wakeupmode	0-1,4
PARAM_VALUE	0	hdev->dev.driver_data->psdata.cur_psmode	0-255
PARAM_VALUE	0	hdev->dev.driver_data->psdata.h2c_wakeupmode	0-1,4,255
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_cmd	1
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.dep_map->name	0-255
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.first_waiter->task->blocked_on	0
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hdev->dev.driver_data->psdata.ps_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdev->dev.driver_data->psdata.target_ps_mode	0-255
PARAM_VALUE	0	hdev->dev.driver_data->psdata.work.lockdep_map->name	0-255
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.head	0
PARAM_VALUE	0	hdev->dump.state	0
PARAM_VALUE	0	hdev->dump.tail	0
PARAM_VALUE	0	hdev->flush	1-u64max
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->blocked_on	0
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->quirk_flags	4096-ptr_max
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.osq.tail.counter	0-s32max
PARAM_VALUE	0	hdev->req_lock.wait_lock.dep_map->name	0-255
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_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->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_rcu.func	1-u64max
PARAM_VALUE	0	hdev->req_rsp->sk->sk_rcu.next	0
PARAM_VALUE	0	hdev->req_rsp->sk->sk_reuseport_cb	0
PARAM_VALUE	0	hdev->req_status	0-1
PARAM_VALUE	0	hdev->rx_q.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hdev->rx_q.next	4096-ptr_max
PARAM_VALUE	0	hdev->rx_q.next->prev	2011684551238094848
PARAM_VALUE	0	hdev->rx_q.prev	4096-ptr_max
PARAM_VALUE	0	hdev->rx_q.prev->next	2011684551238094848
PARAM_VALUE	0	hdev->rx_q.qlen	0
PARAM_VALUE	0	*hdev->msft_data->evt_prefix	0-255
CAPPED_DATA	0	hdev	1
CAPPED_DATA	0	&hdev->cmd_q	1
CAPPED_DATA	0	&hdev->cmd_work	1
CAPPED_DATA	0	&hdev->rx_q	1
CAPPED_DATA	0	&hdev->rx_work	1
CAPPED_DATA	0	&hdev->tx_work	1
DATA_SOURCE	0	hdev	$0
CONTAINER	0	-8992+0	$(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	hdev->msft_data->features	s64min-s64max[u]
LOCK2	0	&hdev->req_lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct hci_dev)->req_lock