SRCU_EC_REPOST
WARN_ON_ONCE(sdp->srcu_ec_state != SRCU_EC_REPOST);
sdp->srcu_ec_state = SRCU_EC_REPOST;