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

00001 /*
00002 ** pgflt.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:21:14 2004 Vianney Rancurel
00009 */
00010 #ifndef __LSEOS_PGFLT_H__
00011 #define __LSEOS_PGFLT_H__       1
00012 #include <core.h>
00013 
00014 /* PROTO pgflt.c */
00015 #ifdef __KERNEL__
00016 /* pgflt.c */
00017 void do_pgflt_except(int errcode);
00018 void pgflt_init(void);
00019 void pgflt_except(void);
00020 #endif /* __KERNEL__ */
00021 #endif