Mark rumpuser_exit and rumpuser_thread_exit as dead.

This commit is contained in:
joerg 2011-05-23 20:49:35 +00:00
parent 70b0796a0d
commit cfb300c780
1 changed files with 3 additions and 3 deletions

View File

@ -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_putchar(int, int *);
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 @@ void rumpuser_biothread(void *);
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;