Documented in 1 files:
Defined in 1 files as a function:
Referenced in 3 files:
- include/linux/atomic/atomic-arch-fallback.h, line 1605
- include/linux/atomic/atomic-instrumented.h, line 788
- include/linux/atomic/atomic-long.h, line 903
Smatch caller information:
lib/atomic64_test.c atomic_fetch_and_acquire() -> raw_atomic_fetch_and_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | (-559038737) |
| PARAM_VALUE | 1 | v | 244908970501345280 |
| PARAM_VALUE | 1 | v->counter | (-1432153289) |
| DATA_SOURCE | 0 | i | $0 |
| DATA_SOURCE | 1 | v | $1 |
lib/atomic64_test.c raw_atomic_fetch_andnot_acquire() -> raw_atomic_fetch_and_acquire()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 559038736 |
| PARAM_VALUE | 1 | v | 244908970501345280 |
| PARAM_VALUE | 1 | v->counter | (-1432153289) |
| DATA_SOURCE | 1 | v | $1 |