Documented in 1 files:

Defined in 1 files as a function:

Referenced in 43 files:

Smatch caller information:

kernel/locking/percpu-rwsem.c percpu_up_write() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &f->lock
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &uprobe->register_rwsem
HALF_LOCKED2 global &cpu_add_remove_lock

lib/crypto/tests/blake2b_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/rcu/tree.c rcu_sr_put_wait_head() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
NOCHECK_CALL

kernel/jump_label.c static_key_enable_cpuslocked() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v->counter (-1)
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &jump_label_mutex
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &state_mutex
HALF_LOCKED2 global &cgroup_mutex
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &rdtgroup_mutex
HALF_LOCKED2 global &sched_domains_mutex

kernel/jump_label.c static_key_slow_inc_cpuslocked() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 0-s32max
PARAM_VALUE 1 i 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &cpuset_mutex
HALF_LOCKED2 global &cpuset_top_mutex
HALF_LOCKED2 global &freezer_mutex
HALF_LOCKED2 global &rdtgroup_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &sched_domains_mutex
HALF_LOCKED2 global &xps_map_mutex

mm/huge_memory.c page_ref_unfreeze() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i s32min-(-1),1-s32max
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 rcu_read

lib/crypto/tests/sha1_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_request_layer.c ssh_rtl_init() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/mellanox/mlx4/srq.c refcount_set_release() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

mm/mmap.c refcount_set_release() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 0
PARAM_VALUE 1 i 1
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

kernel/bpf/stackmap.c bpf_mmap_unlock_guard_put() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
NOCHECK_CALL

kernel/crash_core.c kexec_unlock() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 6334040747821723648
PARAM_VALUE 1 i 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &__crash_hotplug_lock

kernel/smp.c __flush_smp_call_function_queue() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 1 i 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/power/swap.c compress_threadfn() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/power/swap.c compress_threadfn() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/power/swap.c crc32_threadfn() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/power/swap.c crc32_threadfn() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/power/swap.c decompress_threadfn() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/power/swap.c decompress_threadfn() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/power/swap.c load_compressed_image() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex

kernel/power/swap.c load_compressed_image() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex

kernel/power/swap.c load_compressed_image() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex

kernel/power/swap.c save_compressed_image() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &autosleep_lock

kernel/power/swap.c save_compressed_image() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &device_hotplug_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &autosleep_lock

lib/crypto/tests/sha512_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/vmwgfx/vmwgfx_fence.c __vmw_fences_update() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
DATA_SOURCE 1 i r vmw_fence_read
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 i s32min-s32max
UNITS 1 i unit_array_size
LOCK2 &fman->lock
TYPE_LOCK (struct vmw_fence_manager)->lock

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_clean_tx_done_dqo() -> atomic_set_release()

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

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_tx_alloc_ring_dqo() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
MEM_ZERO 0 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_tx_alloc_ring_dqo() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i (-1)
MEM_ZERO 0 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_tx_qpl_buf_init() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 1 i (-1)
MEM_ZERO 0 v
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/google/gve/gve_tx_dqo.c gve_xsk_reorder_queue_push_dqo() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
CAPPED_DATA 1 i 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &tx->dqo_tx.xdp_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct gve_tx_ring)->dqo_tx.xdp_lock

lib/crypto/tests/sha224_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/polyval_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/printk/printk.c __printk_cpu_sync_put() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 2428578465351639040
PARAM_VALUE 1 i (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags

mm/hugetlb.c page_ref_unfreeze() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
DATA_SOURCE 1 i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &hugetlb_lock
HALF_LOCKED2 irq

lib/crypto/tests/blake2s_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireguard/send.c wg_queue_enqueue_per_device_and_peer() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 &wg->static_identity.lock
HALF_LOCKED2 global &rtnl_mutex

drivers/net/wireguard/send.c wg_queue_enqueue_per_peer_tx() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1-2
DATA_SOURCE 1 i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

arch/x86/kernel/alternative.c smp_text_poke_batch_finish() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 1 i 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &text_mutex

arch/x86/kvm/svm/sev.c sev_lock_two_vms() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 0-s32max
PARAM_VALUE 1 i 0
NOCHECK_CALL

arch/x86/kvm/svm/sev.c sev_lock_two_vms() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 0-s32max
PARAM_VALUE 1 i 0
NOCHECK_CALL

arch/x86/kvm/svm/sev.c sev_unlock_two_vms() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
NOCHECK_CALL

arch/x86/kvm/svm/sev.c sev_unlock_two_vms() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
NOCHECK_CALL

kernel/kexec_core.c kexec_unlock() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 6334040747821723648
PARAM_VALUE 1 i 0
NOCHECK_CALL
LOCK2 global &system_transition_mutex

drivers/net/wireguard/receive.c wg_queue_enqueue_per_device_and_peer() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

drivers/net/wireguard/receive.c wg_queue_enqueue_per_peer_rx() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1-2
DATA_SOURCE 1 i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

kernel/sched/build_policy.c rto_start_unlock() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 0-s32max
PARAM_VALUE 1 i 0
DATA_SOURCE 0 v $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq
HALF_LOCKED2 rq

drivers/gpu/drm/amd/amdgpu/gmc_v8_0.c gmc_v8_0_process_interrupt() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/gmc_v8_0.c gmc_v8_0_sw_init() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

mm/vma.c refcount_set_release() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
DATA_SOURCE 1 i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

arch/x86/kvm/mmu/mmu.c call_once() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 1
PARAM_VALUE 1 i 2
NOCHECK_CALL
LOCK2 &vcpu->mutex
LOCK2 _T->lock
TYPE_LOCK (struct kvm_vcpu)->mutex

drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_sync_msgq() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 v->counter 1

mm/vmscan.c page_ref_unfreeze() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i s32min-(-1),1-s32max
CAPPED_DATA 1 i 1
DATA_SOURCE 1 i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

lib/crypto/tests/ghash_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/sha3_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/aes_cbc_macs_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_init() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_tx_start() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl->lock
TYPE_LOCK (struct ssam_controller)->lock

drivers/platform/surface/aggregator/ssh_packet_layer.c ssh_ptl_tx_stop() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctrl->lock
TYPE_LOCK (struct ssam_controller)->lock

lib/crypto/tests/sha384_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/test_objpool.c ot_start_async() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

lib/test_objpool.c ot_start_sync() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
NOCHECK_CALL

kernel/sched/fair.c sched_balance_rq() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 2266490158624403456
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 busiest
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

arch/x86/kvm/lapic.c __kvm_apic_set_base() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 2
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c apic_set_spiv() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 2
NOCHECK_CALL
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c kvm_apic_set_dfr() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 2
NOCHECK_CALL

arch/x86/kvm/lapic.c kvm_apic_set_ldr() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 2
NOCHECK_CALL

arch/x86/kvm/lapic.c kvm_apic_set_state() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 2
PARAM_VALUE 1 i 2
NOCHECK_CALL
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/lapic.c kvm_apic_set_x2apic_id() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 2
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c kvm_apic_set_xapic_id() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 2
NOCHECK_CALL

lib/crypto/tests/sm3_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/hns/hns_roce_srq.c refcount_set_release() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &devr->srq_lock
HALF_LOCKED2 global &device_list_mutex

lib/crypto/tests/md5_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/sha256_kunit.c hash_irq_test2_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/indexer/io-factory.c uds_make_io_factory() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/aes_gcm_kunit.c aead_irq_test_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/amdgpu_amdkfd_gpuvm.c amdgpu_amdkfd_gpuvm_get_vm_fault_info() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 1
PARAM_VALUE 1 i 0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/bpf/task_iter.c bpf_mmap_unlock_guard_put() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
NOCHECK_CALL

drivers/gpu/drm/i915/gt/intel_engine_pm.c __intel_wakeref_defer_park() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &timelines->lock
LOCK2 &wf->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct intel_gt_timelines)->lock
TYPE_LOCK (struct intel_wakeref)->mutex

drivers/gpu/drm/amd/amdgpu/gmc_v7_0.c gmc_v7_0_process_interrupt() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/amd/amdgpu/gmc_v7_0.c gmc_v7_0_sw_init() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

mm/migrate.c page_ref_unfreeze() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i s32min-(-1),1-s32max
DATA_SOURCE 1 i $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq

kernel/kexec_file.c kexec_unlock() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 6334040747821723648
PARAM_VALUE 1 i 0
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c aead_irq_test_func() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/kexec.c kexec_unlock() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 6334040747821723648
PARAM_VALUE 1 i 0
NOCHECK_CALL

kernel/bpf/ringbuf.c ____bpf_user_ringbuf_drain() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter 0-s32max
PARAM_VALUE 1 i 0
NOCHECK_CALL

drivers/infiniband/hw/hns/hns_roce_qp.c refcount_set_release() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i 1
DATA_SOURCE 1 i $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpu/drm/i915/i915_sw_fence.c __i915_sw_fence_wake_up_all() -> atomic_set_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 1 i (-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags