/*---------------------------------------------------------------------------*/ void _exit(int n) { printf("#!exit %i: resetting\n", n); stdio_flush(); arm_reset(); while (1); }
/*---------------------------------------------------------------------------*/ void _exit(int n) { #ifdef MODULE_TRACELOG trace_number(TRACELOG_EV_EXIT, n); #endif printf("#! exit %i: resetting\n", n); stdio_flush(); arm_reset(); while(1); }