KSI_FROMPOOL
if ((ok->ksi_flags & (KSI_QUEUED | KSI_FROMPOOL)) ==
KSI_FROMPOOL)
kp->ksi_flags |= KSI_FROMPOOL;
if ((kp->ksi_flags & (KSI_QUEUED | KSI_FROMPOOL)) != KSI_FROMPOOL)
KASSERT((ksi->ksi_flags & KSI_FROMPOOL) != 0);
out->ksi_flags &= ~(KSI_FROMPOOL | KSI_QUEUED);
KASSERT((ksi->ksi_flags & KSI_FROMPOOL) != 0);
KASSERT((ksi->ksi_flags & KSI_FROMPOOL) != 0);