SMR_LAZY
KASSERT((zpcpu_get(smr)->c_flags & SMR_LAZY) == 0,
if ((flags & (SMR_LAZY | SMR_DEFERRED)) == 0)
else if ((flags & SMR_LAZY) != 0)
KASSERT(!wait || (zpcpu_get(smr)->c_flags & SMR_LAZY) == 0,
if ((flags & SMR_LAZY) != 0)
(flags & (SMR_LAZY | SMR_DEFERRED)) != 0) {
KASSERT((smr->c_flags & SMR_LAZY) == 0,
KASSERT((smr->c_flags & SMR_LAZY) == 0,
KASSERT((smr->c_flags & SMR_LAZY) != 0,
KASSERT((smr->c_flags & SMR_LAZY) != 0,