gonzui: tkernel_2/lib/libtk/src/

    1: /*
    2:  *----------------------------------------------------------------------
    3:  *    T-Kernel 2.0 Software Package
    4:  *
    5:  *    Copyright 2011 by Ken Sakamura.
    6:  *    This software is distributed under the latest version of T-License 2.x.
    7:  *----------------------------------------------------------------------
    8:  *
    9:  *    Released by T-Engine Forum(http://www.t-engine.org/) at 2011/05/17.
   10:  *    Modified by TRON Forum(http://www.tron.org/) at 2015/06/01.
   11:  *
   12:  *----------------------------------------------------------------------
   13:  */
   14: 
   15: /*
   16:  *      @(#)_exit.c (libtk)
   17:  */
   18: 
   19: #include <basic.h>
   20: #include <tk/syscall.h>
   21: 
   22: #ifdef __GNUC__
   23: extern void tk_ext_tsk(void) __attribute__ ((noreturn));
   24: #else
   25: extern void tk_ext_tsk(void);
   26: #endif
   27: 
   28: EXPORT void _exit(int status)
   29: {
   30:         tk_ext_tsk();
   31: }