smr_shared_current
return (smr_shared_current(s) + SMR_SEQ_INCR);
atomic_add_acq_int(&smr->c_seq, smr_shared_current(smr->c_shared));
atomic_store_int(&smr->c_seq, smr_shared_current(smr->c_shared));
atomic_store_int(&smr->c_seq, smr_shared_current(smr->c_shared));
return (smr_shared_current(zpcpu_get(smr)->c_shared));