diff options
Diffstat (limited to 'exec/mig-decls.h')
-rw-r--r-- | exec/mig-decls.h | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/exec/mig-decls.h b/exec/mig-decls.h new file mode 100644 index 00000000..0437414f --- /dev/null +++ b/exec/mig-decls.h @@ -0,0 +1,40 @@ +/* + Copyright (C) 2014 Free Software Foundation, Inc. + Written by Justus Winter. + + This file is part of the GNU Hurd. + + The GNU Hurd is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 2, or (at + your option) any later version. + + The GNU Hurd is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + General Public License for more details. + + You should have received a copy of the GNU General Public License + along with the GNU Hurd. If not, see <http://www.gnu.org/licenses/>. */ + +#ifndef __EXEC_MIG_DECLS_H__ +#define __EXEC_MIG_DECLS_H__ + +#include "priv.h" + +/* Called by server stub functions. */ + +static inline struct bootinfo * __attribute__ ((unused)) +begin_using_bootinfo_port (mach_port_t port) +{ + return ports_lookup_port (port_bucket, port, execboot_portclass); +} + +static inline void __attribute__ ((unused)) +end_using_bootinfo (struct bootinfo *b) +{ + if (b) + ports_port_deref (b); +} + +#endif /* __EXEC_MIG_DECLS_H__ */ |