From ed38446424dd531f1b7a167677232a6d400d69d5 Mon Sep 17 00:00:00 2001
From: Milos Vyletel <milos@redhat.com>
Date: Fri, 17 Apr 2015 16:38:04 +0200
Subject: [PATCH] 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 <jeff.haran@citrix.com>
Signed-off-by: Milos Vyletel <milos@redhat.com>
Reviewed-by: Steven Rostedt <rostedt@goodmis.org>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
---
Reading git-format-patch failed