Documented in 1 files:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/locking/percpu-rwsem.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/rcu/tree.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
kernel/jump_label.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v->counter | (-1)-s32max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &cpuset_mutex | ||
| HALF_LOCKED2 | global &jump_label_mutex | ||
| HALF_LOCKED2 | global &rdtgroup_mutex | ||
| HALF_LOCKED2 | global &sched_domains_mutex |
mm/huge_memory.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &ci->lock | ||
| HALF_LOCKED2 | rcu_read |
lib/crypto/tests/sha1_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/surface/aggregator/ssh_request_layer.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/mellanox/mlx4/srq.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| 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 atomic_set_release() -> raw_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 | 0 | v | $0 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
kernel/crash_core.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 6334040747821723648 |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &__crash_hotplug_lock |
kernel/smp.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags |
kernel/power/swap.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &system_transition_mutex |
lib/crypto/tests/sha512_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/vmwgfx/vmwgfx_fence.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPPED_DATA | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tx->dqo_tx.xdp_lock |
lib/crypto/tests/sha224_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/polyval_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/printk/printk.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 2428578465351639040 |
| PARAM_VALUE | 1 | i | (-1) |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags |
mm/hugetlb.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/wireguard/send.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0-2 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
arch/x86/kernel/alternative.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &text_mutex |
arch/x86/kvm/svm/sev.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
kernel/kexec_core.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 6334040747821723648 |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL | |||
| LOCK2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | global &luo_session_serialize_rwsem | ||
| HALF_LOCKED2 | irq |
drivers/net/wireguard/receive.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0-2 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
kernel/sched/build_policy.c atomic_set_release() -> raw_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 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rq |
drivers/gpu/drm/amd/amdgpu/gmc_v8_0.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0-1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| HARD_MAX | 1 | i | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/vma.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 0 | v->counter | 0-1 |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| 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 atomic_set_release() -> raw_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 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &vcpu->mutex | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
drivers/misc/bcm-vk/bcm_vk_msg.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | v->counter | 1 |
| HALF_LOCKED2 | &pool->lock |
mm/vmscan.c atomic_set_release() -> raw_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 | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
lib/crypto/tests/ghash_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/aes_cbc_macs_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/surface/aggregator/ssh_packet_layer.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0-1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| HARD_MAX | 1 | i | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ctrl->lock |
lib/crypto/tests/sha384_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/poly1305_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/test_objpool.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
kernel/sched/fair.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 2266490158624403456 |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 2 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vcpu->mutex |
lib/crypto/tests/sm3_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/infiniband/hw/hns/hns_roce_srq.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/sha256_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/dm-vdo/indexer/io-factory.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/aes_gcm_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/amd/amdgpu/amdgpu_amdkfd_gpuvm.c atomic_set_release() -> raw_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 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
kernel/bpf/task_iter.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
drivers/gpu/drm/i915/gt/intel_engine_pm.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0-1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| HARD_MAX | 1 | i | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
mm/migrate.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | v | $0 |
| 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 atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 6334040747821723648 |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/kexec.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 6334040747821723648 |
| PARAM_VALUE | 1 | i | 0 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
kernel/bpf/ringbuf.c atomic_set_release() -> raw_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 |
| DATA_SOURCE | 1 | i | $1 |
| NOCHECK_CALL |
drivers/infiniband/hw/hns/hns_roce_qp.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | 1 |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/i915/i915_sw_fence.c atomic_set_release() -> raw_atomic_set_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | i | (-1) |
| DATA_SOURCE | 0 | v | $0 |
| DATA_SOURCE | 1 | i | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags |