> So should we make the swap condition more precise? how? > Anyway we are going > to die in the KASSERT(swslot) immediately if pg->uanon == NULL. Is it > worth adding another KASSERT? KASSERT is better than if-stmt which is always true, IMO. YAMAMOTO Takashi