ct_state_inc
ct_state_inc(CT_RCU_WATCHING);
ct_state_inc(CT_RCU_WATCHING);
(void)ct_state_inc(offset);
seq = ct_state_inc(offset);
ct_state_inc(CT_RCU_WATCHING);
seq = ct_state_inc(2 * CT_RCU_WATCHING);