nohz_full: Update based on Sedat Dilek review
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Mon, 29 Apr 2013 17:09:41 +0000 (10:09 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Mon, 10 Jun 2013 20:42:37 +0000 (13:42 -0700)
Make it more clear that there are three options, and give hints as
to which of the three is most likely to be useful in different
situations.

Reported-by: Sedat Dilek <sedat.dilek@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Reviewed-by: Josh Triplett <josh@joshtriplett.org>

No differences found