static void ATTRIB_NORET cfe_linux_halt(void) { static const int one = 1; cfe_linux_exit((void *)&one); }
static void __noreturn cfe_linux_halt(void) { static const int one = 1; cfe_linux_exit((void *)&one); }
static void ATTRIB_NORET cfe_linux_restart(char *command) { static const int zero; cfe_linux_exit((void *)&zero); }
static void __noreturn cfe_linux_restart(char *command) { static const int zero; cfe_linux_exit((void *)&zero); }