Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 72 files:

Smatch caller information:

drivers/vfio/pci/vfio_pci_core.c vfio_pci_core_disable() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &device->dev_set->lock
HALF_LOCKED2 &device->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock

arch/x86/kernel/apic/io_apic.c mp_unregister_ioapic() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &acpi_ioapic_lock
LOCK2 global &ioapic_list_lock
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock

drivers/dax/bus.c alloc_dax_region() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/dax/bus.c dax_region_unregister() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
NOCHECK_CALL

drivers/pcmcia/rsrc_nonstatic.c free_region() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 2147484160
PARAM_VALUE 0 old->name 8676249029175934976
BUF_SIZE 0 old 0,64
BUF_SIZE 0 old 0,64
BUF_SIZE 0 old->name (-1),16
CAPPED_DATA 0 old 1
DATA_SOURCE 0 old $0
STR_LEN 0 old->name (-1),15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->ops_mutex
HALF_LOCKED2 &s->skt_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/mtd/maps/esb2rom.c esb2rom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
NOCHECK_CALL

drivers/mtd/maps/esb2rom.c esb2rom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 5145998523108384808
PARAM_VALUE 0 old->end 0,4282908671-4307025919
PARAM_VALUE 0 old->flags 0,2147484160
PARAM_VALUE 0 old->name 0,3331913140097351680
PARAM_VALUE 0 old->parent 1-u64max
PARAM_VALUE 0 old->start 0,4278190080,4279238656,4280287232,4281335808,4286578688,4287102976,4287627264,4288151552,4288675840,4289200128,4289724416,4290248704
NOCHECK_CALL

drivers/input/joystick/iforce/iforce-main.c iforce_erase_effect() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &evdev->mutex

drivers/input/joystick/iforce/iforce-main.c iforce_erase_effect() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &evdev->mutex

kernel/crash_core.c __crash_shrink_memory() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 6145504372922150912,8618626533416660992
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

kernel/crash_core.c crash_shrink_memory() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 8618626533416660992
PARAM_VALUE 0 old->end 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/mtd/maps/ichxrom.c ichxrom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
NOCHECK_CALL

drivers/mtd/maps/ichxrom.c ichxrom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 7181106833081851944
PARAM_VALUE 0 old->end 0,4282908671-4307025919
PARAM_VALUE 0 old->flags 0,2147484160
PARAM_VALUE 0 old->name 0,8808723434628067328
PARAM_VALUE 0 old->parent 1-u64max
PARAM_VALUE 0 old->start 0,4278190080,4279238656,4280287232,4281335808,4286578688,4287102976,4287627264,4288151552,4288675840,4289200128,4289724416,4290248704
NOCHECK_CALL

drivers/input/gameport/fm801-gp.c fm801_gp_remove() -> release_resource()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/marvell/mvpp2/mvpp2_main.c mvpp2_probe() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old r platform_get_resource
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/memory_hotplug.c release_memory_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 4096-ptr_max
PARAM_VALUE 0 old->parent->child 4096-ptr_max
PARAM_VALUE 0 old->sibling 0,4096-ptr_max
PARAM_VALUE 0 old->sibling->start 1-u64max
BUF_SIZE 0 old 64
CAPPED_DATA 0 old 1
DATA_SOURCE 0 old $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &device_hotplug_lock

arch/x86/pci/fixup.c pci_fixup_video() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
BUF_SIZE 0 old 704
BUF_SIZE 0 old 704
NOCHECK_CALL

drivers/watchdog/via_wdt.c wdt_probe() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1338615780754501632
TERMINATED 0 old->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/via_wdt.c wdt_remove() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1338615780754501632
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/pci_root.c __acpi_pci_root_release_info() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 256-u64max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/acpi/pci_root.c acpi_pci_root_release_info() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 256-u64max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &subsys->su_mutex

drivers/virtio/virtio_mem.c virtio_mem_delete_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/probe.c pci_bus_release_busn_res() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 1-u64max
PARAM_VALUE 0 old->parent 1-u64max
BUF_SIZE 0 old 64
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pci_bus_sem
HALF_LOCKED2 global &pci_rescan_remove_lock

drivers/pci/probe.c pci_register_host_bridge() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->end 0
PARAM_VALUE 0 old->flags 0
PARAM_VALUE 0 old->start 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/maps/ck804xrom.c ck804xrom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
NOCHECK_CALL

drivers/mtd/maps/ck804xrom.c ck804xrom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 131056587960930344
PARAM_VALUE 0 old->end 0,u16max-8589869055
PARAM_VALUE 0 old->flags 0,2147484160
PARAM_VALUE 0 old->name 0,8854595006733197312
PARAM_VALUE 0 old->parent 1-u64max
PARAM_VALUE 0 old->start 0,4278190080,4289724416,4290772992,4294901760
NOCHECK_CALL

kernel/resource.c devm_resource_release() -> release_resource()

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

drivers/fpga/dfl.c release_dfl_dev() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/base/platform.c platform_device_add() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cdns->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &fdata->lock
HALF_LOCKED2 global &disable_lock
HALF_LOCKED2 global &eth_lock
HALF_LOCKED2 global &hmem_resource_lock
HALF_LOCKED2 global &smi_watchers_mutex

drivers/base/platform.c platform_device_del() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &smi_watchers_mutex

drivers/gpu/drm/gma500/gem.c psb_gem_create() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 4096-ptr_max
PARAM_VALUE 0 old->sibling 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/gma500/gem.c psb_gem_free_object() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
NOCHECK_CALL

sound/core/misc.c release_and_free_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
BUF_SIZE 0 old (-1),64
BUF_SIZE 0 old (-1),64
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pci/setup-res.c pci_release_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &pci_bus_sem

drivers/net/ethernet/davicom/dm9000.c dm9000_release_board() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
BUF_SIZE 0 old (-1),64
BUF_SIZE 0 old (-1),64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/net/ethernet/davicom/dm9000.c dm9000_release_board() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
BUF_SIZE 0 old (-1),64
BUF_SIZE 0 old (-1),64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/rapidio/rio.c rio_release_inb_dbell() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->end 0-u16max
PARAM_VALUE 0 old->start 0-u16max
CAPPED_DATA 0 old->end 1
CAPPED_DATA 0 old->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sp->mutex

drivers/rapidio/rio.c rio_release_inb_mbox() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sp->mutex

drivers/rapidio/rio.c rio_release_outb_dbell() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
DATA_SOURCE 0 old $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sp->mutex
HALF_LOCKED2 flags

drivers/rapidio/rio.c rio_release_outb_mbox() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sp->mutex

drivers/rapidio/rio.c rio_request_inb_mbox() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->child 0
PARAM_VALUE 0 old->desc 0
PARAM_VALUE 0 old->end 0-3,18446744071562067968-u64max
PARAM_VALUE 0 old->flags 1024
PARAM_VALUE 0 old->name 0
PARAM_VALUE 0 old->start 0-3,18446744071562067968-u64max
BUF_SIZE 0 old 64
CAPPED_DATA 0 old->start 1
DATA_SOURCE 0 old r _kzalloc_noprof
MEM_ZERO 0 old
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sp->mutex

drivers/rapidio/rio.c rio_request_outb_mbox() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->child 0
PARAM_VALUE 0 old->desc 0
PARAM_VALUE 0 old->end 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 old->flags 1024
PARAM_VALUE 0 old->name 0
PARAM_VALUE 0 old->start 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 old 64
CAPPED_DATA 0 old->start 1
DATA_SOURCE 0 old r _kzalloc_noprof
MEM_ZERO 0 old
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sp->mutex

sound/soc/intel/catpt/pcm.c catpt_dai_shutdown() -> release_resource()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/pcmcia/cistpl.c release_cis_mem() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
NOCHECK_CALL
LOCK2 &s->ops_mutex
LOCK2 &s->skt_mutex
LOCK2 &sp->mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->skt_mutex
TYPE_LOCK (struct subsys_private)->mutex

drivers/pci/ecam.c pci_ecam_free() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 old->start
HALF_LOCKED2 &_dev->mutex

drivers/pci/remove.c pci_free_resources() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/sp5100_tco.c sp5100_tco_setupdevice_mmio() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 4096-ptr_max
PARAM_VALUE 0 old->parent->child 4096-ptr_max
PARAM_VALUE 0 old->sibling 0,4096-ptr_max
PARAM_VALUE 0 old->sibling->start 1-u64max
BUF_SIZE 0 old 64
DATA_SOURCE 0 old r __request_region
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/i915/i915_gmch.c i915_gmch_bar_teardown() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->start 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/mtd/maps/amd76xrom.c amd76xrom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
NOCHECK_CALL

drivers/mtd/maps/amd76xrom.c amd76xrom_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 5141015931625099304
PARAM_VALUE 0 old->end 0,4289789951,4290838527,4293918719,u32max,4296015871,4299096063,4300144639
PARAM_VALUE 0 old->flags 0,2147484160
PARAM_VALUE 0 old->name 0,2057492486935601152
PARAM_VALUE 0 old->parent 1-u64max
PARAM_VALUE 0 old->start 0,4289724416,4290772992,4294901760
NOCHECK_CALL

drivers/xen/balloon.c release_memory_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent->child 4096-ptr_max
PARAM_VALUE 0 old->sibling->start 1-u64max
BUF_SIZE 0 old (-1),64
BUF_SIZE 0 old (-1),64
CAPPED_DATA 0 old 1
DATA_SOURCE 0 old $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &balloon_mutex

sound/soc/intel/catpt/loader.c catpt_sram_free() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/ptp/ptp_qoriq.c ptp_qoriq_probe() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
CAPPED_DATA 0 old->start 1
DATA_SOURCE 0 old r platform_get_resource
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/ptp/ptp_qoriq.c ptp_qoriq_remove() -> release_resource()

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

arch/x86/pci/mmconfig-shared.c pci_mmconfig_delete() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pci_mmcfg_lock

arch/x86/pci/mmconfig-shared.c pci_mmconfig_insert() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 2147484160
PARAM_VALUE 0 old->parent 1-u64max
PARAM_VALUE 0 old->start 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pci_mmcfg_lock
HALF_LOCKED2 global &acpi_scan_lock

arch/x86/pci/mmconfig-shared.c pci_mmconfig_remove() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
NOCHECK_CALL

drivers/char/agp/amd64-agp.c agp_amd64_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
NOCHECK_CALL

drivers/accessibility/speakup/synth.c synth_release_region() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 7607073358059495424
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &spk_mutex

drivers/staging/vme_user/vme_tsi148.c tsi148_alloc_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &image->lock
TYPE_LOCK (struct vme_master_resource)->lock

drivers/staging/vme_user/vme_tsi148.c tsi148_alloc_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 old->end
LOCK2 &image->lock
TYPE_LOCK (struct vme_master_resource)->lock

drivers/staging/vme_user/vme_tsi148.c tsi148_free_resource() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 old->end

drivers/pcmcia/pcmcia_resource.c pcmcia_release_window() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
DATA_SOURCE 0 old $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/pcmcia/pcmcia_resource.c pcmcia_release_window() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/pcmcia/pcmcia_resource.c release_io_space() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent 1-u64max
BUF_SIZE 0 old (-1),128
BUF_SIZE 0 old (-1),128
CAPPED_DATA 0 old 1
CAPPED_DATA 0 old->end 1
DATA_SOURCE 0 old $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/pcmcia/pcmcia_resource.c release_io_space() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &s->ops_mutex
TYPE_LOCK (struct pcmcia_socket)->ops_mutex

drivers/memory/omap-gpmc.c gpmc_cs_delete_mem() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
BUF_SIZE 0 old 64
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &gpmc_mem_lock

drivers/memory/omap-gpmc.c gpmc_cs_free() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 1-u64max
BUF_SIZE 0 old 64
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &gpmc_mem_lock

drivers/memory/omap-gpmc.c gpmc_cs_request() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->sibling->start 1-u64max
BUF_SIZE 0 old 64
CAPPED_DATA 0 old 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &gpmc_mem_lock

drivers/xen/unpopulated-alloc.c fill_list() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
BUF_SIZE 0 old 64
CAPPED_DATA 0 old->start 1
DATA_SOURCE 0 old r _kzalloc_noprof
STR_LEN 0 old->name (-1),11
TERMINATED 0 old->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &list_lock
HALF_LOCKED2 &mm->mmap_lock

drivers/xen/unpopulated-alloc.c fill_list() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->parent->child 4096-ptr_max
PARAM_VALUE 0 old->sibling->start 1-u64max
BUF_SIZE 0 old 64
BUF_SIZE 0 old->name (-1),12
DATA_SOURCE 0 old r _kzalloc_noprof
STR_LEN 0 old->name (-1),11
TERMINATED 0 old->name 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &list_lock
HALF_LOCKED2 &mm->mmap_lock

drivers/char/agp/intel-gtt.c i9xx_cleanup() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4352363112127643728
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/acpi/ioapic.c acpi_ioapic_remove() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 1-u64max
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ioapic_list_lock
LOCK2 global &pci_rescan_remove_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock

drivers/acpi/ioapic.c handle_ioapic_add() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 18446744071562067968-u64max
PARAM_VALUE 0 old->name 663786227929305088,1395802031074283520
PARAM_VALUE 0 old->parent 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ioapic_list_lock

drivers/pcmcia/yenta_socket.c yenta_free_res() -> release_resource()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->end 1-u64max
PARAM_VALUE 0 old->start 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL