[src/trunk]: src/sys/rump/include/rump Mark rumpuser_exit and rumpuser_thread...

[joerg <joerg%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/5385ea730b8f
branches:  trunk
changeset: 765265:5385ea730b8f
user:      joerg <joerg%NetBSD.org@localhost>
date:      Mon May 23 20:49:35 2011 +0000

description:
Mark rumpuser_exit and rumpuser_thread_exit as dead.

diffstat:

 sys/rump/include/rump/rumpuser.h |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (27 lines):

diff -r cc5483b1878a -r 5385ea730b8f sys/rump/include/rump/rumpuser.h
--- a/sys/rump/include/rump/rumpuser.h  Mon May 23 20:49:08 2011 +0000
+++ b/sys/rump/include/rump/rumpuser.h  Mon May 23 20:49:35 2011 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: rumpuser.h,v 1.68 2011/03/21 16:41:08 pooka Exp $      */
+/*     $NetBSD: rumpuser.h,v 1.69 2011/05/23 20:49:35 joerg Exp $      */
 
 /*
  * Copyright (c) 2007-2011 Antti Kantee.  All Rights Reserved.
@@ -102,7 +102,7 @@
 int rumpuser_kill(int64_t, int, int *);
 
 #define RUMPUSER_PANIC (-1)
-void rumpuser_exit(int);
+void rumpuser_exit(int) __dead;
 void rumpuser_seterrno(int);
 
 int rumpuser_writewatchfile_setup(int, int, intptr_t, int *);
@@ -118,7 +118,7 @@
 
 int  rumpuser_thread_create(void *(*f)(void *), void *, const char *, int,
                            void **);
-void rumpuser_thread_exit(void);
+void rumpuser_thread_exit(void) __dead;
 int  rumpuser_thread_join(void *);
 
 struct rumpuser_mtx;