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

00001 /*
00002 ** dblflt.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  Mon Jan 26 18:08:40 2004 Vianney Rancurel
00008 ** Last update Mon Dec  6 11:22:01 2004 Vianney Rancurel
00009 */
00010 #ifndef __LSEOS_DBLFLT_H__
00011 #define __LSEOS_DBLFLT_H__      1
00012 #include <core.h>
00013 
00014 /* PROTO dblflt.c */
00015 #ifdef __KERNEL__
00016 /* dblflt.c */
00017 void do_dblflt_except(void);
00018 void dblflt_init(void);
00019 void dblflt_except(void);
00020 #endif /* __KERNEL__ */
00021 #endif