l4/pkg/l4util/include/reboot.h

   1 /**
   2  * \file
   3  * \brief Machine restarting functions.
   4  */
   5 /*
   6  * (c) 2000-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   7  *               Alexander Warg <warg@os.inf.tu-dresden.de>,
   8  *               Norman Feske <nf2@os.inf.tu-dresden.de>
   9  *     economic rights: Technische Universität Dresden (Germany)
  10  * This file is part of TUD:OS and distributed under the terms of the
  11  * GNU Lesser General Public License 2.1.
  12  * Please see the COPYING-LGPL-2.1 file for details.
  13  */
  14 /*****************************************************************************/
  15 #ifndef _L4UTIL_REBOOT_H
  16 #define _L4UTIL_REBOOT_H
  17
  18 #include <l4/sys/compiler.h>
  19
  20 /**
  21  * \defgroup l4util_reboot Machine Restarting Function
  22  * \ingroup l4util_api
  23  */
  24
  25 /**
  26  * \brief Machine reboot
  27  * \ingroup l4util_reboot
  28  */
  29 EXTERN_C_BEGIN
  30 L4_CV void l4util_reboot(void) __attribute__ ((__noreturn__));
  31 EXTERN_C_END
  32
  33 #endif /* ! _L4UTIL_REBOOT_H */