Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/hci_core.c hci_register_dev() -> msft_register()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->adv_monitors_idr.idr_base 0
PARAM_VALUE 0 hdev->adv_monitors_idr.idr_next 0
PARAM_VALUE 0 hdev->adv_monitors_idr.idr_rt.xa_flags 33554436
PARAM_VALUE 0 hdev->adv_monitors_idr.idr_rt.xa_head 0
PARAM_VALUE 0 hdev->close 1-u64max
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_inode->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 0 hdev->debugfs->d_inode->i_sb->s_export_op->encode_fh 0,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE 0 hdev->debugfs->d_inode->i_sb->s_export_op->fh_to_dentry 0,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE 0 hdev->debugfs->d_inode->i_sb->s_export_op->fh_to_parent 0,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE 0 hdev->debugfs->d_inode->i_sb->s_export_op->get_parent 0,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
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.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.dma_ops->alloc 0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE 0 hdev->dev.dma_ops->alloc_pages_op 0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE 0 hdev->dev.dma_ops->cache_sync 0
PARAM_VALUE 0 hdev->dev.dma_ops->dma_supported 0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE 0 hdev->dev.dma_ops->free 0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE 0 hdev->dev.dma_ops->free_pages 0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE 0 hdev->dev.dma_ops->get_merge_boundary 0
PARAM_VALUE 0 hdev->dev.dma_ops->get_required_mask 0,7770840938859397120
PARAM_VALUE 0 hdev->dev.dma_ops->get_sgtable 0,1322759480623644672
PARAM_VALUE 0 hdev->dev.dma_ops->map_phys 0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE 0 hdev->dev.dma_ops->map_sg 0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE 0 hdev->dev.dma_ops->max_mapping_size 0,8830639662091943936
PARAM_VALUE 0 hdev->dev.dma_ops->mmap 0,5761417605877342208,7694740394750603264
PARAM_VALUE 0 hdev->dev.dma_ops->opt_mapping_size 0
PARAM_VALUE 0 hdev->dev.dma_ops->sync_sg_for_cpu 0,4862850025765572608
PARAM_VALUE 0 hdev->dev.dma_ops->sync_sg_for_device 0,3732476178258022400
PARAM_VALUE 0 hdev->dev.dma_ops->sync_single_for_cpu 0,1155325867376779264
PARAM_VALUE 0 hdev->dev.dma_ops->sync_single_for_device 0,8781567156597239808
PARAM_VALUE 0 hdev->dev.dma_ops->unmap_phys 0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE 0 hdev->dev.dma_ops->unmap_sg 0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE 0 hdev->dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 hdev->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 hdev->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 hdev->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 hdev->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 hdev->dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 hdev->dev.fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 hdev->dev.kobj->name 0-255
PARAM_VALUE 0 hdev->dev.kobj.parent->sd->attr.open->nr_mmapped 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->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hdev->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 hdev->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 hdev->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 hdev->dev.physical_location->panel 0-7
PARAM_VALUE 0 hdev->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 hdev->dev_flags 4096-ptr_max
PARAM_VALUE 0 hdev->list.next 4096-ptr_max
PARAM_VALUE 0 hdev->list.prev 465120769601015808
PARAM_VALUE 0 hdev->name 1-u64max
PARAM_VALUE 0 hdev->open 1-u64max
PARAM_VALUE 0 hdev->power_led 0,4096-ptr_max
PARAM_VALUE 0 hdev->power_led->activate 3981406190525808640
PARAM_VALUE 0 hdev->power_led->led_cdevs.next 4096-ptr_max
PARAM_VALUE 0 hdev->power_led->led_cdevs.prev 4096-ptr_max
PARAM_VALUE 0 hdev->power_led->name 1-u64max
PARAM_VALUE 0 hdev->power_led->next_trig.next 4096-ptr_max
PARAM_VALUE 0 hdev->quirk_flags 4096-ptr_max
PARAM_VALUE 0 hdev->req_workqueue 4096-ptr_max
PARAM_VALUE 0 hdev->rfkill 0,4096-ptr_max
PARAM_VALUE 0 hdev->rfkill->data 4096-ptr_max
PARAM_VALUE 0 hdev->rfkill->dev.class 3782975319766757376
PARAM_VALUE 0 hdev->rfkill->dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 hdev->rfkill->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 hdev->rfkill->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 hdev->rfkill->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 hdev->rfkill->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 hdev->rfkill->dev.dma_uses_io_tlb 0
PARAM_VALUE 0 hdev->rfkill->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 hdev->rfkill->dev.kobj->name 0-255
PARAM_VALUE 0 hdev->rfkill->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->rfkill->dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 hdev->rfkill->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 hdev->rfkill->dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 hdev->rfkill->dev.kobj.state_initialized 1
PARAM_VALUE 0 hdev->rfkill->dev.links.status 0
PARAM_VALUE 0 hdev->rfkill->dev.numa_node (-1)
PARAM_VALUE 0 hdev->rfkill->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 hdev->rfkill->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 hdev->rfkill->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->rfkill->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->rfkill->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 hdev->rfkill->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 hdev->rfkill->dev.physical_location->panel 0-7
PARAM_VALUE 0 hdev->rfkill->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 hdev->rfkill->dev.power.deferred_resume 0
PARAM_VALUE 0 hdev->rfkill->dev.power.disable_depth 1
PARAM_VALUE 0 hdev->rfkill->dev.power.early_init 1
PARAM_VALUE 0 hdev->rfkill->dev.power.ignore_children 0
PARAM_VALUE 0 hdev->rfkill->dev.power.is_prepared 0
PARAM_VALUE 0 hdev->rfkill->dev.power.is_suspended 0
PARAM_VALUE 0 hdev->rfkill->dev.power.last_status (-1)
PARAM_VALUE 0 hdev->rfkill->dev.power.qos 0
PARAM_VALUE 0 hdev->rfkill->dev.power.request 0
PARAM_VALUE 0 hdev->rfkill->dev.power.request_pending 0
PARAM_VALUE 0 hdev->rfkill->dev.power.runtime_auto 1
PARAM_VALUE 0 hdev->rfkill->dev.power.runtime_error 0
PARAM_VALUE 0 hdev->rfkill->dev.power.runtime_status 2
PARAM_VALUE 0 hdev->rfkill->dev.power.timer_expires 0
PARAM_VALUE 0 hdev->rfkill->idx 0-4294967295
PARAM_VALUE 0 hdev->rfkill->led_trigger.activate 2567247933461229568
PARAM_VALUE 0 hdev->rfkill->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hdev->rfkill->need_sync 1
PARAM_VALUE 0 hdev->rfkill->node.next 7863171404880474112
PARAM_VALUE 0 hdev->rfkill->ops 3516844704275075072
PARAM_VALUE 0 hdev->rfkill->ops->set_block 2185526476603875328
PARAM_VALUE 0 hdev->rfkill->poll_work.cpu s32min-s32max
PARAM_VALUE 0 hdev->rfkill->registered 1
PARAM_VALUE 0 hdev->rfkill->type 2
PARAM_VALUE 0 hdev->send 1-u64max
PARAM_VALUE 0 hdev->suspend_notifier.notifier_call 1245318815566303232
PARAM_VALUE 0 hdev->workqueue 4096-ptr_max
BUF_SIZE 0 hdev (-1)-s32max
BUF_SIZE 0 hdev (-1)-s32max
BUF_SIZE 0 hdev->debugfs s32min-(-1),1-s32max
BUF_SIZE 0 hdev->hci_drv (-1),32
BUF_SIZE 0 hdev->name 1-s32max
BUF_SIZE 0 hdev->req_workqueue (-1),512,528-8720
BUF_SIZE 0 hdev->rfkill (-1)-0,2265-1012366
BUF_SIZE 0 hdev->workqueue (-1),512,528-8720
CAPPED_DATA 0 hdev->req_workqueue 1
CAPPED_DATA 0 &hdev->dev 1
CAPPED_DATA 0 &hdev->power_on 1
DATA_SOURCE 0 hdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf s64min-s64max
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.auxiliary 0-4294967295
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.command 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.ctl 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.device 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.error 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.feature 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.flags s64min-s64max
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_feature 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_lbah 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_lbal 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_lbam 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_nsect 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbah 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbal 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbam 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.nsect 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.protocol 0-255
HOST_DATA 0 hdev->dev.sata_dev.ap->link.ap->link.device->link->ap->result_tf.status 0-255
HOST_DATA 0 hdev->dev.shost->hostdata->saved_fault_code 0-u16max
HOST_DATA 0 hdev->msft_opcode 0-u16max
HALF_LOCKED2 &data->open_mutex
HALF_LOCKED2 &tty->ldisc_sem