Documented in 1 files:
Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/rcu/rcutorture.c rcu_torture_writer() -> (struct rcu_torture_ops)->same_gp_state_full()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | $ | 4096-ptr_max |
| PARAM_VALUE | 1 | $ | 2457572976439926784 |
| PARAM_VALUE | 1 | $->exp | 0,4-u64max |
| PARAM_VALUE | 1 | $->norm | 0,4-u64max |
| HALF_LOCKED2 | rcu_read |