Documented in 1 files:
Defined in 1 files as a function:
Referenced in 3 files:
- include/linux/atomic/atomic-arch-fallback.h, line 3245
- include/linux/atomic/atomic-instrumented.h, line 1776
- include/linux/atomic/atomic-long.h, line 226
Smatch caller information:
lib/atomic64_test.c atomic64_fetch_add() -> raw_atomic64_fetch_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | (-1),1229782938533634594 |
| PARAM_VALUE | 1 | v | 4852880703011659776 |
| PARAM_VALUE | 1 | v->counter | (-6151051535892492275) |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| HARD_MAX | 0 | i | 1229782938533634594 |
net/sunrpc/auth_gss/gss_krb5_seal.c raw_atomic64_fetch_inc() -> raw_atomic64_fetch_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 1 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 1 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/dma-buf/dma-fence.c atomic64_fetch_add() -> raw_atomic64_fetch_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | v | 5142594463195004928 |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &p->mutex | ||
| HALF_LOCKED2 | &tlb_inval->lock | ||
| HALF_LOCKED2 | &vfpriv->context_lock | ||
| HALF_LOCKED2 | &vm->lock | ||
| HALF_LOCKED2 | global &component_mutex | ||
| HALF_LOCKED2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq |
security/landlock/id.c atomic64_fetch_add() -> raw_atomic64_fetch_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 1-270 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
net/sunrpc/auth_gss/gss_krb5_wrap.c raw_atomic64_fetch_inc() -> raw_atomic64_fetch_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 1 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| DATA_SOURCE | 1 | v | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/locking/rwsem.c raw_atomic_long_fetch_add() -> raw_atomic64_fetch_add()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 256 |
| PARAM_VALUE | 1 | v | 4096-ptr_max |
| PARAM_VALUE | 1 | v->counter | 0-s64max |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &sem->wait_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct rw_semaphore)->wait_lock |