SINGLE_EXIT
thread_single(p, SINGLE_EXIT);
if (!thread_single(p, SINGLE_EXIT))
if (mode == SINGLE_EXIT)
case SINGLE_EXIT:
KASSERT(mode == SINGLE_EXIT || mode == SINGLE_BOUNDARY ||
if (mode == SINGLE_EXIT) {
if (mode == SINGLE_EXIT) {
KASSERT(mode == SINGLE_EXIT || mode == SINGLE_BOUNDARY ||