00001 00023 /*****************************************************************************/ 00024 #ifndef _L4UTIL_REBOOT_H 00025 #define _L4UTIL_REBOOT_H 00026 00027 #include <l4/sys/compiler.h> 00028 00035 EXTERN_C_BEGIN 00036 L4_CV void l4util_reboot(void) __attribute__ ((__noreturn__)); 00037 EXTERN_C_END 00038 00039 #endif /* ! _L4UTIL_REBOOT_H */