Documented in 1 files:

Defined in 1 files as a macro:

Defined in 3 files as a function:

Referenced in 5 files:

Smatch caller information:

mm/huge_memory.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 31
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 dst_ptl
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/rmap.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 31
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &folio->private->lock
HALF_LOCKED2 &vma->vm_private_data->rw_sema

fs/mbcache.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kasan/kasan_test_c.c kasan_bitops_modify() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 64
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr 9
DATA_SOURCE 0 nr $1
DATA_SOURCE 1 addr $2
NOCHECK_CALL
UNITS 0 nr unit_bit

fs/gfs2/quota.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &qd_lock

mm/memory.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 31
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 dst_ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 src_ptl
HALF_LOCKED2 vmf->ptl

net/netfilter/ipvs/ip_vs_ctl.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipvs->service_mutex
HALF_LOCKED2 &ipvs->svc_resize_sem
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/netfilter/ipvs/ip_vs_conn.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
CAPPED_DATA 1 addr 1
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cp->lock
HALF_LOCKED2 bh

fs/netfs/fscache_volume.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/netfs/fscache_cookie.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/dcache.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 0
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &entry->d_lockref.lock
HALF_LOCKED2 rcu_read

lib/test_context-analysis.c __bit_spin_unlock() -> __clear_bit_unlock()

Type Parameter Key Value
PARAM_VALUE 0 nr 3
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 0 nr $0
DATA_SOURCE 1 addr $1
PREEMPT_ADD
NOCHECK_CALL