/* urcu_gp_ctr = RCU_GP_COUNT | (~RCU_GP_CTR_BIT or RCU_GP_CTR_BIT) */
/*
* The data dependency "read urcu_gp_ctr, write urcu_active_readers",
/* urcu_gp_ctr = RCU_GP_COUNT | (~RCU_GP_CTR_BIT or RCU_GP_CTR_BIT) */
/*
* The data dependency "read urcu_gp_ctr, write urcu_active_readers",