/* used by kern_lwp also */