Merge branch 'idle.2013.09.25a' into HEAD

idle.2013.09.25a: Topic branch for idle entry-/exit-related changes.
This commit is contained in:
Paul E. McKenney 2013-10-15 12:49:59 -07:00
commit 2529973309
9 changed files with 72 additions and 36 deletions