Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
- kernel/kcsan/kcsan_test.c
- kernel/kcsan/selftest.c
- kernel/locking/rwbase_rt.c, line 199
- rust/helpers/atomic.c, line 59
Smatch caller information:
lib/atomic64_test.c test_atomic() -> atomic_add_return_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | 286335522 |
| PARAM_VALUE | 1 | v | 244908970501345280 |
| PARAM_VALUE | 1 | v->counter | (-1432153289) |
lib/atomic64_test.c test_atomic() -> atomic_add_return_release()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | i | (-1) |
| PARAM_VALUE | 1 | v | 244908970501345280 |
| PARAM_VALUE | 1 | v->counter | (-1432153289) |