Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 15 files:

Smatch caller information:

drivers/scsi/mpt3sas/mpt3sas_scsih.c scsi_device_reprobe() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mrioc->tgtdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &system_transition_mutex

drivers/usb/core/driver.c __usb_bus_reprobe_drivers() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver 7660640422669705280
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &add_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 &skt->skt_mutex
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &pi_mutex
HALF_LOCKED2 global &pwrseq_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &vdpa_dev_lock
HALF_LOCKED2 global &xenwatch_mutex

drivers/scsi/leapraid/leapraid_func.c scsi_device_reprobe() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/hid/bpf/hid_bpf_dispatch.c hid_bpf_reconnect() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &update_mutex

drivers/net/wireless/intel/iwlwifi/iwl-trans.c iwl_trans_reprobe_wk() -> device_reprobe()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/platform/x86/intel/chtwc_int33fe.c cht_int33fe_register_max17047() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->fwnode 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/hid/hid-core.c __hid_bus_reprobe_drivers() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &add_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 &skt->skt_mutex
HALF_LOCKED2 &tb->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &pi_mutex
HALF_LOCKED2 global &pwrseq_sem
HALF_LOCKED2 global &registration_lock
HALF_LOCKED2 global &vdpa_dev_lock
HALF_LOCKED2 global &xenwatch_mutex

drivers/bluetooth/btintel_pcie.c btintel_pcie_perform_flr() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_perform_pldr() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->links.status 0,3
PARAM_VALUE 0 dev->power.can_wakeup 0
PARAM_VALUE 0 dev->power.completion.done u32max
PARAM_VALUE 0 dev->power.driver_flags 0
PARAM_VALUE 0 dev->power.irq_safe 0
PARAM_VALUE 0 dev->power.needs_force_resume 0
PARAM_VALUE 0 dev->power.set_latency_tolerance 0
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock

drivers/bluetooth/btintel_pcie.c btintel_pcie_perform_pldr() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock

drivers/platform/x86/x86-android-tablets/other.c vexia_edu_atla10_9v_init() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/lenovo/yogabook.c yogabook_remove() -> device_reprobe()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/platform/x86/lenovo/yogabook.c yogabook_remove() -> device_reprobe()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/platform/x86/lenovo/yogabook.c yogabook_work() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
HALF_LOCKED2 &pool->lock

drivers/platform/x86/lenovo/yogabook.c yogabook_work() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
HALF_LOCKED2 &pool->lock

drivers/message/fusion/mptsas.c scsi_device_reprobe() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mrioc->tgtdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &system_transition_mutex

sound/hda/common/sysfs.c reconfig_codec() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->links.status 0,3
PARAM_VALUE 0 dev->power.can_wakeup 0
PARAM_VALUE 0 dev->power.completion.done u32max
PARAM_VALUE 0 dev->power.driver_flags 0
PARAM_VALUE 0 dev->power.entry.next 4096-ptr_max
PARAM_VALUE 0 dev->power.entry.prev 4096-ptr_max
PARAM_VALUE 0 dev->power.in_dpm_list 0
PARAM_VALUE 0 dev->power.irq_safe 0
PARAM_VALUE 0 dev->power.needs_force_resume 0
PARAM_VALUE 0 dev->power.set_latency_tolerance 0
PARAM_VALUE 0 dev->power.use_autosuspend 0
PARAM_VALUE 0 dev->type 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/bluetooth/hci_h5.c h5_btrtl_reprobe_worker() -> device_reprobe()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/platform/x86/asus-tf103c-dock.c tf103c_dock_enable_touchpad() -> device_reprobe()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock