diff options
| author | Milos Vyletel <[email protected]> | 2015-04-17 16:38:04 +0200 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2015-05-27 12:57:28 -0700 |
| commit | ed38446424dd531f1b7a167677232a6d400d69d5 (patch) | |
| tree | 061898389cefd9fd56264e1b4391134cd42e2cac /scripts/gdb/linux/lists.py | |
| parent | ee7c29be3695996536395f647e8a2ed6b1ab3a0d (diff) | |
documentation: State that rcu_dereference() reloads pointer
Make a note stating that repeated calls of rcu_dereference() may not
return the same pointer if update happens while in critical section.
Reported-by: Jeff Haran <[email protected]>
Signed-off-by: Milos Vyletel <[email protected]>
Reviewed-by: Steven Rostedt <[email protected]>
Signed-off-by: Paul E. McKenney <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/lists.py')
0 files changed, 0 insertions, 0 deletions