Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/bluetooth/bfusb.c bfusb_close() -> bfusb_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| 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 |
| BUF_SIZE | 0 | hdev | (-1)-s32max |
| BUF_SIZE | 0 | hdev | (-1)-s32max |
| CAPPED_DATA | 0 | hdev | 1 |
| DATA_SOURCE | 0 | hdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | hdev->scan_rsp_data_len | |
| HALF_LOCKED2 | 0 | &hdev->req_lock |
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 |