Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/fork.c deny_write_access() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock

fs/verity/enable.c deny_write_access() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max

mm/kasan/kasan_test_c.c kasan_atomics_helper() -> atomic_dec_unless_positive()

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

block/bdev.c bdev_deny_freeze() -> atomic_dec_unless_positive()

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

kernel/events/core.c exclusive_event_init() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max

sound/core/pcm_native.c snd_pcm_buffer_access_lock() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

fs/kernel_read_file.c deny_write_access() -> atomic_dec_unless_positive()

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

mm/memfd.c mapping_deny_writable() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 260,4096-ptr_max
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &session->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/binfmt_misc.c deny_write_access() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max

fs/exec.c deny_write_access() -> atomic_dec_unless_positive()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max