Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 71 files:

Smatch caller information:

drivers/tty/tty_io.c tty_unregister_device() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2245054211942690816
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &gsm->mutex
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 _T->lock

drivers/net/ipvlan/ipvtap.c ipvtap_device_event() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4331546991928172544
BIT_INFO 1 devt 0x0,0x7fffffff
NOCHECK_CALL

arch/x86/kernel/cpuid.c cpuid_device_destroy() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 9089901353563680768
PARAM_VALUE 1 devt 0,1048576-u32max
BIT_INFO 1 devt 0xcb00000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/char/xillybus/xillybus_class.c xillybus_cleanup_chrdev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 5101110912565317632
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &unit_mutex

drivers/char/xillybus/xillybus_class.c xillybus_init_chrdev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 5101110912565317632
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &unit_mutex

drivers/scsi/sg.c sg_remove_device() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7363700061218172928
PARAM_VALUE 1 devt 0,1048576-u32max
BIT_INFO 1 devt 0x1500000,0xffffffff
NOCHECK_CALL
LOCK2 &sp->mutex
TYPE_LOCK (struct subsys_private)->mutex

drivers/pps/pps.c pps_unregister_cdev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1155186867477082112
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 devt unit_array_size

drivers/most/most_cdev.c destroy_cdev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2315711682167431168
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->io_mutex

drivers/misc/phantom.c phantom_remove() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1566999962350260224
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/core/file.c usb_deregister_dev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 5206863655934566400
PARAM_VALUE 1 devt 0-s32max,2336227328-u32max
BIT_INFO 1 devt 0xb400000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/aoe/aoechr.c aoechr_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8684138973582053376
PARAM_VALUE 1 devt 159383554-159383558
BIT_INFO 1 devt 0x9800000,0xffffffffffffffff
NOCHECK_CALL

drivers/pps/generators/pps_gen.c pps_gen_unregister_cdev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1944982605349842944
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 devt unit_array_size

drivers/gpib/common/gpib_os.c gpib_common_exit_module() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2365636471038050304
PARAM_VALUE 1 devt 167772160-167772175
BIT_INFO 1 devt 0xa000000,0xa00000f
NOCHECK_CALL

drivers/video/fbdev/core/fbsysfs.c fb_device_destroy() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 devt 30408704-30408735
BIT_INFO 1 devt 0x1d00000,0x1d0001f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &registration_lock
HALF_LOCKED2 &dev->clientlist_mutex
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 global &disconnect_mutex

fs/resctrl/pseudo_lock.c rdtgroup_pseudo_lock_create() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 778172542415507456
BIT_INFO 1 devt 0x0,0xfff0001f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
LOCK2 global &rdtgroup_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

fs/resctrl/pseudo_lock.c rdtgroup_pseudo_lock_remove() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 778172542415507456
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rdtgroup_mutex

drivers/media/pci/ddbridge/ddbridge-core.c ddb_device_create() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 860823047516381184
BIT_INFO 1 devt 0x0,0xfff0000f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ddb_mutex
HALF_LOCKED2 &pool->lock

drivers/media/pci/ddbridge/ddbridge-core.c ddb_device_destroy() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 860823047516381184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/ppp/ppp_generic.c ppp_cleanup() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2498938793280458752
PARAM_VALUE 1 devt 113246208
NOCHECK_CALL

drivers/misc/hpilo.c ilo_remove() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6442472554861076480
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/mon/mon_bin.c mon_bin_del() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2959539798285180928
NOCHECK_CALL
UNITS 1 devt unit_array_size
LOCK2 global &mon_lock

drivers/staging/vme_user/vme_user.c vme_user_probe() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1590211853376937984
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 0-231735303,2379218944-u32max
BIT_INFO 1 devt 0xdd00000,0xdd00007
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/vme_user/vme_user.c vme_user_remove() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1590211853376937984
PARAM_VALUE 1 devt 231735296-231735304
BIT_INFO 1 devt 0xdd00000,0xdd0000f
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/usb/gadget/function/f_printer.c printer_func_bind() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8297492289807429632
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/gadget/function/f_printer.c printer_func_unbind() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8297492289807429632
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/dca/dca-sysfs.c dca_sysfs_remove_req() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8765718131845267456
CAPPED_DATA 1 devt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &adapter->devlink->lock

drivers/mtd/mtdcore.c mtd_release() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 669225151768096768
PARAM_VALUE 1 devt 1,2097153-2147483648
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &subsys->su_mutex

drivers/char/ipmi/ipmi_devintf.c cleanup_ipmi() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8847187363356725248
NOCHECK_CALL
LOCK2 global &reg_list_mutex

drivers/char/ipmi/ipmi_devintf.c ipmi_smi_gone() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8847187363356725248
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &reg_list_mutex
LOCK2 global &smi_watchers_mutex
HALF_LOCKED2 global &smi_infos_lock
HALF_LOCKED2 global &ssif_infos_mutex

fs/coda/psdev.c exit_coda() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 devt 70254592-70254596
BIT_INFO 1 devt 0x4300000,0x4300007
NOCHECK_CALL

fs/coda/psdev.c init_coda() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 devt 70254592-70254596
BIT_INFO 1 devt 0x4300000,0x4300007
NOCHECK_CALL

drivers/nvme/host/fc.c nvme_fc_exit_module() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7691772833313947648
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/nvme/host/fc.c nvme_fc_init_module() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7691772833313947648
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/block/rnbd/rnbd-clt-sysfs.c rnbd_clt_create_sysfs_files() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7824358025839910912
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/block/rnbd/rnbd-clt-sysfs.c rnbd_clt_destroy_sysfs_files() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7824358025839910912
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/char/misc.c misc_deregister() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 314265516070232064
PARAM_VALUE 1 devt 0,2097152-s32max
BIT_INFO 1 devt 0xa00000,0xffffffff
NOCHECK_CALL
LOCK2 global &misc_mtx

drivers/misc/genwqe/card_dev.c genwqe_device_remove() -> device_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nvme/target/fcloop.c fcloop_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4016014949934800896
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/spi/spidev.c spidev_remove() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8899375005209370624
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 devt unit_array_size
LOCK2 global &device_list_lock
HALF_LOCKED2 &dev->mutex

drivers/char/lp.c lp_detach() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7613341045191729152
PARAM_VALUE 1 devt 6291456-6291463
BIT_INFO 1 devt 0x600000,0x600007
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &registration_lock

drivers/tty/vt/vt.c con_driver_unregister_callback() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8112823508613431296
PARAM_VALUE 1 devt 0-15
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/platform/x86/asus-armoury.c asus_fw_attr_add() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4360296914022526976
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/platform/x86/asus-armoury.c asus_fw_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4360296914022526976
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/hid/hidraw.c drop_ref() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1796151340465983488
RX_PATH
NOCHECK_CALL
LOCK2 global &minors_rwsem
HALF_LOCKED2 &hid->driver_input_lock

drivers/staging/greybus/fw-management.c gb_fw_mgmt_connection_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 8195606673845796864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_chardev.c kfd_chardev_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1248837916325838848
PARAM_VALUE 1 devt 0,1048576-4293918720
BIT_INFO 1 devt 0x0,0xfff00000
NOCHECK_CALL

drivers/vdpa/vdpa_user/vduse_dev.c vduse_create_dev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6957300958866305024
PARAM_VALUE 1 devt 0-s32max
NOCHECK_CALL
LOCK2 global &vduse_lock

drivers/vdpa/vdpa_user/vduse_dev.c vduse_destroy_dev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6957300958866305024
NOCHECK_CALL
LOCK2 global &vduse_lock

drivers/vdpa/vdpa_user/vduse_dev.c vduse_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6957300958866305024
NOCHECK_CALL

drivers/vdpa/vdpa_user/vduse_dev.c vduse_init() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6957300958866305024
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 1-u32max
NOCHECK_CALL

drivers/misc/c2port/core.c c2port_device_unregister() -> device_destroy()

Type Parameter Key Value
NOCHECK_CALL
UNITS 1 devt unit_array_size

drivers/char/virtio_console.c add_port() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2158419147674763264
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 devt unit_array_size

drivers/char/virtio_console.c unplug_port() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2158419147674763264
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 devt unit_array_size

drivers/media/dvb-core/dvbdev.c dvb_remove_device() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 devt 0,4194304-s32max
BIT_INFO 1 devt 0xd400000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &frontend_mutex

drivers/tty/vt/vc_screen.c vcs_remove_sysfs() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6256308136937979904
PARAM_VALUE 1 devt 7340034-7340095
CAPPED_DATA 1 devt 1
BIT_INFO 1 devt 0x700000,0x70003f
NOCHECK_CALL
USER_DATA 1 devt 7340035-7340095[c]
LOCK2 global &console_sem

drivers/tty/vt/vc_screen.c vcs_remove_sysfs() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6256308136937979904
PARAM_VALUE 1 devt 7340098-7340159
CAPPED_DATA 1 devt 1
BIT_INFO 1 devt 0x700000,0x70007f
NOCHECK_CALL
USER_DATA 1 devt 7340099-7340159[c]
LOCK2 global &console_sem

drivers/tty/vt/vc_screen.c vcs_remove_sysfs() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6256308136937979904
PARAM_VALUE 1 devt 7340162-7340223
CAPPED_DATA 1 devt 1
BIT_INFO 1 devt 0x700000,0x7000ff
NOCHECK_CALL
USER_DATA 1 devt 7340163-7340223[c]
LOCK2 global &console_sem

drivers/block/rnbd/rnbd-srv-sysfs.c rnbd_srv_create_sysfs_files() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6978929493176348672
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/block/rnbd/rnbd-srv-sysfs.c rnbd_srv_destroy_sysfs_files() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6978929493176348672
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/net/macvtap.c macvtap_device_event() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2873447677845987328
BIT_INFO 1 devt 0x0,0x7fffffff
NOCHECK_CALL

drivers/nvme/host/fabrics.c nvmf_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6610991590511738880
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/nvme/host/fabrics.c nvmf_init() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 6610991590511738880
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 0
NOCHECK_CALL

net/netfilter/xt_IDLETIMER.c idletimer_tg_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 devt 0
NOCHECK_CALL

net/netfilter/xt_IDLETIMER.c idletimer_tg_init() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4096-ptr_max
PARAM_VALUE 0 class->class_groups 0,4096-ptr_max
PARAM_VALUE 0 class->class_release 8086981562295300096
PARAM_VALUE 0 class->name 4552730861918920704
PARAM_VALUE 1 devt 0
BUF_SIZE 0 class 96
BUF_SIZE 0 class->name 13
DATA_SOURCE 0 class r class_create
STR_LEN 0 class->name 12
TERMINATED 0 class->name 1
NOCHECK_CALL

drivers/staging/greybus/authentication.c gb_cap_connection_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7322089579246444544
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/comedi/drivers/comedi_test.c comedi_test_exit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4275303947756728320
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/comedi/drivers/comedi_test.c comedi_test_init() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 4275303947756728320
PARAM_VALUE 0 class->ns_type 0
PARAM_VALUE 1 devt 0
NOCHECK_CALL

drivers/scsi/ch.c ch_probe() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7839997423764570112
PARAM_VALUE 1 devt 0,2097152-s32max
BIT_INFO 1 devt 0x5600000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/ch.c ch_remove() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 7839997423764570112
PARAM_VALUE 1 devt 0,2097152-s32max
BIT_INFO 1 devt 0x5600000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

arch/x86/kernel/msr.c msr_device_destroy() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 2318331887616933888
PARAM_VALUE 1 devt 0,2097152-u32max
BIT_INFO 1 devt 0xca00000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

drivers/hid/hid-roccat.c roccat_disconnect() -> device_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &hdev->driver_input_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct hid_device)->driver_input_lock

fs/pstore/pmsg.c pstore_unregister_pmsg() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 1 devt 0,1048576-4293918720
BIT_INFO 1 devt 0x0,0xfff00000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &psinfo_lock
HALF_LOCKED2 &cxt->pstore_zone_info_lock
HALF_LOCKED2 global &pstore_blk_lock

drivers/dma-buf/dma-heap.c dma_heap_add() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1-ptr_max
PARAM_VALUE 1 devt 1-u32max
NOCHECK_CALL

drivers/gpu/drm/display/drm_dp_aux_dev.c drm_dp_aux_unregister_devnode() -> device_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_connector->mutex
HALF_LOCKED2 &connector->mutex

drivers/scsi/pmcraid.c pmcraid_release_chrdev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 5844474885241016320
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/bus.c nvdimm_bus_destroy_ndctl() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 1242264542765211648
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

sound/sound_core.c sound_remove_unit() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 235665674555068416
PARAM_VALUE 1 devt 0,2097152-s32max
CAPPED_DATA 1 devt 1
BIT_INFO 1 devt 0xe00000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/comedi/comedi_fops.c comedi_free_board_dev() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 9109683656679878656
PARAM_VALUE 1 devt 0,2097152-s32max
BIT_INFO 1 devt 0x6200000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/comedi/comedi_fops.c comedi_free_subdevice_minor() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 9109683656679878656
PARAM_VALUE 1 devt 102760496-102760703
BIT_INFO 1 devt 0x6200000,0x62000ff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->attach_lock
LOCK2 &dev->mutex
TYPE_LOCK (struct comedi_device)->attach_lock
TYPE_LOCK (struct comedi_device)->mutex

drivers/misc/mei/main.c mei_deregister() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 831283724259532800
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 devt unit_array_size
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex

drivers/char/ppdev.c pp_detach() -> device_destroy()

Type Parameter Key Value
PARAM_VALUE 0 class 9012492322634993664
PARAM_VALUE 1 devt 0,1048576-s32max
BIT_INFO 1 devt 0x6300000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &core_lock
HALF_LOCKED2 global &registration_lock