mKernel: mkernel/include/kernel.h Source File

00001 /***************************************************************************
00002  *  $Id: kernel.h 212 2008-09-28 17:19:19Z merdmann $
00003  *
00004  *  Fri Dec  7 21:14:02 2007
00005  *  Copyright  2007  Michael Erdmann
00006  *  Email: michael.erdmann@snafu.de
00007  ****************************************************************************/
00008 
00009 /*
00010  *  This program is free software; you can redistribute it and/or modify
00011  *  it under the terms of the GNU General Public License as published by
00012  *  the Free Software Foundation; either version 2 of the License, or
00013  *  (at your option) any later version.
00014  *
00015  *  This program is distributed in the hope that it will be useful,
00016  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
00017  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00018  *  GNU General Public License for more details.
00019  *
00020  *  You should have received a copy of the GNU General Public License
00021  *  along with this program; if not, write to the Free Software
00022  *  Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
00023  */
00024 
00247 #ifndef KERNEL_H
00248 #define KERNEL_H
00249 
00250 #include "mkernel_config.h"
00251 #include "typedefs.h"
00252 #include "proc.h"
00253 #include "timer.h"
00254 #include "event.h"
00255 #include "resource.h"
00256 #include "task.h"
00257 #include "alarm.h"
00258 #include "execution.h"
00259 #include "interrupts.h"
00263 void _os_yield(void);
00264 
00269 void ENTER_CRITICAL(void);
00270 
00274 void EXIT_CRITICAL(void);
00275 
00277 extern t_task_id   _os_my_task_id;
00278 
00279 extern void TaskBeginHook(t_task_id id);
00280 extern void TaskEndHook(t_task_id id);
00281 
00288 extern void panic(int nbr);
00289 
00290 #endif