tree e62cb6aad747e09a27c42145f0157a4cd961728b
parent efc151c33b971148894789dc7c5589dec46d4348
author Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1367255381 -0700
committer Paul E. McKenney <paulmck@linux.vnet.ibm.com> 1370896957 -0700

nohz_full: Update based on Sedat Dilek review

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>