Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/page-writeback.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &wb->list_lock
TYPE_LOCK (struct bdi_writeback)->list_lock

mm/shrinker.c atomic_long_add_return() -> raw_atomic_long_add_return()

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

kernel/ucount.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
BUF_SIZE 1 v (-1),16
BUF_SIZE 1 v (-1),16
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i 1-4503599627370495[c]
UNITS 0 i unit_page

fs/pipe.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i (-15)-15
UNITS 0 i unit_page
HALF_LOCKED2 &pipe->mutex

mm/page_counter.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 i s64min-s64max
UNITS 0 i unit_page

kernel/dma/swiotlb.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 0 i 1-u16max
PARAM_VALUE 1 v 4096-ptr_max
CAPPED_DATA 0 i 1
CAPPED_DATA 0 i 1
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1

kernel/locking/rwsem.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 0 i (-256),(-254)-s64max
PARAM_VALUE 1 v 4096-ptr_max
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &sem->wait_lock
LOCK2 irq
TYPE_LOCK (struct rw_semaphore)->wait_lock

drivers/tty/tty_ldsem.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sem->wait_lock
HALF_LOCKED2 irq

kernel/bpf/core.c atomic_long_add_return() -> raw_atomic_long_add_return()

Type Parameter Key Value
PARAM_VALUE 1 v 7970477535896326144
DATA_SOURCE 0 i $0
DATA_SOURCE 1 v $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 i unit_byte