diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2013-04-29 10:09:41 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2013-06-10 13:42:37 -0700 |
| commit | 295fde89be1b7dce874c0f38d8bb78975a25d46e (patch) | |
| tree | e62cb6aad747e09a27c42145f0157a4cd961728b /usr | |
| parent | efc151c33b971148894789dc7c5589dec46d4348 (diff) | |
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>
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions