Documented in 1 files:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

lib/atomic64_test.c test_atomic() -> atomic_inc_return_release()

Type Parameter Key Value
PARAM_VALUE 0 v 244908970501345280
PARAM_VALUE 0 v->counter (-1432153289)

drivers/media/cec/core/cec-pin.c cec_pin_update() -> atomic_inc_return_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->counter s32min-127
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/afs/callback.c afs_break_volume_callback() -> atomic_inc_return_release()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
LOCK2 &volume->cb_v_break_lock
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct afs_volume)->cb_v_break_lock