Defined in 1 files as a function:

Referenced in 52 files:

Smatch caller information:

drivers/input/gameport/gameport.c gameport_destroy_port() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &gameport_mutex

drivers/gpu/drm/drm_debugfs.c drm_debugfs_entry_open() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/drm_debugfs.c drm_debugfs_open() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/dax/bus.c alloc_dev_dax_range() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/usb/gadget/function/f_mass_storage.c fsg_common_create_lun() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fsg_opts->lock
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 global &func_lock

drivers/usb/gadget/function/f_mass_storage.c fsg_common_release() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subsys->su_mutex

drivers/usb/gadget/function/f_mass_storage.c fsg_common_remove_lun() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fsg_opts->lock
HALF_LOCKED2 &subsys->su_mutex

drivers/usb/gadget/function/f_rndis.c rndis_bind() -> device_is_registered()

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

drivers/usb/gadget/function/f_rndis.c rndis_borrow_net() -> device_is_registered()

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

drivers/usb/gadget/function/f_rndis.c rndis_free_inst() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 global &func_lock

drivers/power/sequencing/core.c pwrseq_match_device() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
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 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/power/sequencing/core.c pwrseq_power_off() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &pdev->dev.mutex

drivers/power/sequencing/core.c pwrseq_power_on() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pdev->dev.mutex

drivers/input/serio/serio.c serio_destroy_port() -> device_is_registered()

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

drivers/input/serio/serio.c serio_interrupt() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &serio->lock
LOCK2 irq
HALF_LOCKED2 &drvdata->lock
HALF_LOCKED2 &kbd_dev->lock
HALF_LOCKED2 &kcs_bmc->lock
HALF_LOCKED2 &port->cad_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 &psm->lock
HALF_LOCKED2 &serio->lock
HALF_LOCKED2 &serport->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &i8042_lock
TYPE_LOCK (struct serio)->lock

drivers/usb/core/message.c usb_disable_device() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &of->mutex

drivers/usb/core/message.c usb_reset_configuration() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &board->big_gpib_mutex
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 global &ni_usb_hotplug_lock

drivers/usb/core/message.c usb_set_interface() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &dev->v4l2_lock
HALF_LOCKED2 &dev->v4l_lock
HALF_LOCKED2 &dvb->lock
HALF_LOCKED2 &dvbdev->i2c_mutex
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pdev->v4l2_lock
HALF_LOCKED2 &state->fe_lock
HALF_LOCKED2 &ttusb->semi2c
HALF_LOCKED2 _T->lock

net/bluetooth/hci_sysfs.c hci_conn_add_sysfs() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
LOCK2 &hdev->lock
LOCK2 &pool->lock
TYPE_LOCK (struct hci_dev)->lock

net/bluetooth/hci_sysfs.c hci_conn_del_sysfs() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pool->lock

drivers/usb/core/driver.c usb_driver_claim_interface() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 1616
BUF_SIZE 0 dev->driver 152
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &iface->dev.mutex
HALF_LOCKED2 _T->lock

drivers/usb/core/driver.c usb_driver_release_interface() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 1616
CAPPED_DATA 0 dev->driver 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->dev.mutex
HALF_LOCKED2 &udev->dev.mutex
HALF_LOCKED2 _T->lock

drivers/edac/edac_mc_sysfs.c edac_remove_sysfs_mci_device() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &ghes_reg_mutex
HALF_LOCKED2 global &i7core_edac_lock
HALF_LOCKED2 global &mem_ctls_mutex

drivers/edac/edac_mc_sysfs.c edac_remove_sysfs_mci_device() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &ghes_reg_mutex
HALF_LOCKED2 global &i7core_edac_lock
HALF_LOCKED2 global &mem_ctls_mutex

drivers/thunderbolt/switch.c tb_switch_update_link_attributes() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &tb->lock

drivers/usb/serial/usb-serial.c usb_serial_disconnect() -> device_is_registered()

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

sound/soc/intel/avs/boards/hdaudio.c avs_hdaudio_probe() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/usb/chipidea/udc.c ci_hdrc_gadget_destroy() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev 1616
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex

drivers/base/power/qos.c dev_pm_qos_expose_flags() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &usb_port_peer_mutex

drivers/base/power/qos.c dev_pm_qos_expose_latency_limit() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/cxl/core/region.c cxl_region_iomem_release() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/usb/gadget/function/f_eem.c eem_bind() -> device_is_registered()

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

drivers/usb/gadget/function/f_eem.c eem_free_inst() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subsys->su_mutex

drivers/usb/gadget/function/f_subset.c geth_bind() -> device_is_registered()

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

drivers/usb/gadget/function/f_subset.c geth_free_inst() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subsys->su_mutex

drivers/usb/gadget/function/f_ecm.c ecm_bind() -> device_is_registered()

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

drivers/usb/gadget/function/f_ecm.c ecm_free_inst() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subsys->su_mutex

drivers/mtd/mtdcore.c mtd_device_parse_register() -> device_is_registered()

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

drivers/mtd/mtdcore.c mtd_device_parse_register() -> device_is_registered()

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

drivers/mtd/mtdcore.c mtd_device_unregister() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex

drivers/ssb/main.c ssb_devices_freeze() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bus->sprom_mutex
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct ssb_bus)->sprom_mutex

drivers/thunderbolt/xdomain.c tb_xdomain_remove() -> device_is_registered()

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

drivers/thunderbolt/xdomain.c tb_xdp_handle_request() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
LOCK2 &xd->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tb_xdomain)->lock

drivers/greybus/interface.c gb_interface_del() -> device_is_registered()

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

drivers/base/power/runtime.c pm_runtime_no_callbacks() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1)-0,4,16,24-s32max
BUF_SIZE 0 dev (-1)-0,4,16,24-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->bus_dma_limit 0
HOST_DATA 0 dev->coherent_dma_mask 0
HOST_DATA 0 dev->devt 0
HOST_DATA 0 dev->flags 4096-u32max
HOST_DATA 0 dev->id 0
HOST_DATA 0 dev->kobj.release.cpu 0
HOST_DATA 0 dev->kobj.release.timer.expires 0-u64max
HOST_DATA 0 dev->kobj.release.timer.flags 0-u32max
HOST_DATA 0 dev->kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 dev->kobj.uevent_suppress 0-1
HOST_DATA 0 dev->power.accounting_timestamp 0-u64max
HOST_DATA 0 dev->power.active_time 0
HOST_DATA 0 dev->power.autosuspend_delay s32min-s32max
HOST_DATA 0 dev->power.can_wakeup 0
HOST_DATA 0 dev->power.detach_power_off 0-1
HOST_DATA 0 dev->power.direct_complete 0-1
HOST_DATA 0 dev->power.driver_flags 0
HOST_DATA 0 dev->power.in_dpm_list 0
HOST_DATA 0 dev->power.irq_safe 0
HOST_DATA 0 dev->power.last_busy 0
HOST_DATA 0 dev->power.links_count 0
HOST_DATA 0 dev->power.may_skip_resume 0-1
HOST_DATA 0 dev->power.memalloc_noio 0
HOST_DATA 0 dev->power.must_resume 0
HOST_DATA 0 dev->power.no_pm 0
HOST_DATA 0 dev->power.no_pm_callbacks 0-1
HOST_DATA 0 dev->power.out_band_wakeup 0-1
HOST_DATA 0 dev->power.power_state.event s32min-s32max
HOST_DATA 0 dev->power.smart_suspend 0
HOST_DATA 0 dev->power.strict_midlayer 0-1
HOST_DATA 0 dev->power.suspended_time 0-u64max
HOST_DATA 0 dev->power.syscore 0
HOST_DATA 0 dev->power.timer_autosuspends 0-1
HOST_DATA 0 dev->power.use_autosuspend 0-1
HOST_DATA 0 dev->power.work_in_progress 0-1
HOST_DATA 0 dev->removable 0
HALF_LOCKED2 _T->lock
HALF_LOCKED2 hcd->bandwidth_mutex
HALF_LOCKED2 0 &dev->mutex

drivers/gpu/drm/drm_drv.c drm_minor_unregister() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &xenwatch_mutex

drivers/spi/spi.c __spi_add_device() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctlr->add_lock
HALF_LOCKED2 &of->mutex

drivers/greybus/bundle.c gb_bundle_destroy() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &intf->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gb_interface)->mutex

drivers/base/core.c device_link_put_kref() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 global &device_links_lock
HALF_LOCKED2 &group->mutex
HALF_LOCKED2 _T->lock

drivers/base/core.c device_reorder_to_tail() -> device_is_registered()

Type Parameter Key Value
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev->parent (-1),1616
BUF_SIZE 0 dev->platform_data (-1),32,40
DATA_SOURCE 0 dev $0
STR_LEN 0 dev (-1),2-11,14-15,17-19
STR_LEN 0 dev (-1),2-11,14-15,17-19
STR_LEN 0 dev->parent (-1),13
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->flags 0-u32max
NO_OVERFLOW_SIMPLE 0 dev->dma_io_tlb_mem->nslabs
UNITS 0 dev unit_byte
HALF_LOCKED2 global &device_links_lock
HALF_LOCKED2 global &device_links_srcu
HALF_LOCKED2 global &dpm_list_mtx

drivers/base/core.c devlink_remove_symlinks() -> device_is_registered()

Type Parameter Key Value
UNITS 0 dev unit_byte
LOCK2 &sp->mutex
TYPE_LOCK (struct subsys_private)->mutex

sound/hda/core/device.c snd_hdac_device_unregister() -> device_is_registered()

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

drivers/base/power/wakeup.c device_set_wakeup_capable() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev $0

drivers/base/power/wakeup.c wakeup_source_register() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1)-0,24-s32max
BUF_SIZE 0 dev (-1)-0,24-s32max
BUF_SIZE 0 dev->driver (-1),152
CAPPED_DATA 0 dev 1
DATA_SOURCE 0 dev $0
STR_LEN 0 dev (-1)
STR_LEN 0 dev (-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->flags 4096-u32max
HALF_LOCKED2 global &acpi_pm_notifier_install_lock
HALF_LOCKED2 global &acpi_pm_notifier_lock
HALF_LOCKED2 0 &dev->mutex

drivers/base/swnode.c device_add_software_node() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/base/swnode.c device_create_managed_software_node() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

drivers/base/swnode.c device_remove_software_node() -> device_is_registered()

Type Parameter Key Value
BUF_SIZE 0 dev s32min,(-10),(-1)-s32max
BUF_SIZE 0 dev s32min,(-10),(-1)-s32max
BUF_SIZE 0 dev->bus (-1),168
BUF_SIZE 0 dev->init_name (-1),32
BUF_SIZE 0 dev->parent (-1),1616
BUF_SIZE 0 dev->platform_data (-1),1360
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->init_name (-1),31
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 _T->lock

drivers/pci/pci.c pci_bridge_d3_update() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

drivers/usb/gadget/function/f_ncm.c ncm_bind() -> device_is_registered()

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

drivers/usb/gadget/function/f_ncm.c ncm_free_inst() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 global &func_lock

drivers/greybus/control.c gb_control_del() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &intf->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gb_interface)->mutex

net/bluetooth/rfcomm/tty.c rfcomm_reparent_device() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
LOCK2 &hdev->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
TYPE_LOCK (struct hci_dev)->lock

drivers/base/dd.c __driver_probe_device() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
DATA_SOURCE 0 dev $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dev->mutex

net/nfc/netlink.c nfc_se_io() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct device)->mutex

drivers/gpio/gpiolib.c gpio_device_find() -> device_is_registered()

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

drivers/greybus/svc.c gb_svc_del() -> device_is_registered()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/i3c/master.c i3c_master_unregister_i3c_devs() -> device_is_registered()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

sound/hda/common/codec.c snd_hda_codec_register() -> device_is_registered()

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

sound/hda/common/bind.c snd_hda_codec_configure() -> device_is_registered()

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