smr_advance
goal = smr_advance(pmap->pm_eptsmr);
inp->inp_smr = smr_advance(inp->inp_pcbinfo->ipi_smr);
inp->inp_smr = smr_advance(inp->inp_pcbinfo->ipi_smr);
smr_seq_t smr_advance(smr_t smr);
smr_wait(smr, smr_advance(smr));
seq = smr_advance(zone->uz_smr);
seq = smr_advance(zone->uz_smr);
bucket->ub_seq = smr_advance(zone->uz_smr);