15 #ifndef _L4UTIL_REBOOT_H 16 #define _L4UTIL_REBOOT_H void l4util_reboot(void))
Machine reboot.
#define EXTERN_C_END
End section with C types and functions.
L4 compiler related defines.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define L4_CV
Define calling convention.