LSE/OS: lseos-core/kernel/core/breakpoint.h Source File

00001 /*
00002 ** breakpoint.h for lseos in lseos-core/kernel/core
00003 ** 
00004 ** Copyright(c)2004 IONIS group, Vianney Rancurel - Paris
00005 ** Login   <vianney@epita.fr>
00006 ** 
00007 ** Started on  Fri Jul  9 15:45:21 2004 Vianney Rancurel
00008 ** Last update Mon Dec  6 11:25:55 2004 Vianney Rancurel
00009 */
00010 #ifndef __LSEOS_BREAKPOINT_H__
00011 #define __LSEOS_BREAKPOINT_H__  1
00012 #include <core.h>
00013 
00014 /* PROTO breakpoint.c */
00015 #ifdef __KERNEL__
00016 /* breakpoint.c */
00017 void do_breakpoint_except(void);
00018 void breakpoint_init(void);
00019 void breakpoint_except(void);
00020 #endif /* __KERNEL__ */
00021 #endif