diff options
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2018-04-19 09:40:32 -0700 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2018-05-15 10:30:20 -0700 |
commit | a824a287f6eaec65f1cf7aedfd5f6b69d2d3858f (patch) | |
tree | 68d5e746eea106fe6ca111a5c7dca132e059a275 /Makefile | |
parent | a508aa597ec2f046c00b8809f887f90cf1aaa47f (diff) |
rcu: Clear request other than RCU_GP_FLAG_INIT at GP end
Once the grace period has ended, any RCU_GP_FLAG_FQS requests are
irrelevant: The grace period has ended, so there is no longer any
point in forcing quiescent states in order to try to make it end sooner.
This commit therefore causes rcu_gp_cleanup() to clear any bits other
than RCU_GP_FLAG_INIT from ->gp_flags at the end of the grace period.
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Tested-by: Nicholas Piggin <npiggin@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions