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

00001 /*
00002 ** npx.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:29 2004 Vianney Rancurel
00009 */
00010 #ifndef __LSEOS_NPX_H__
00011 #define __LSEOS_NPX_H__ 1
00012 #include <core.h>
00013 
00014 /* PROTO npx.c */
00015 #ifdef __KERNEL__
00016 /* npx.c */
00017 void fpu_save(union savefpu *addr);
00018 void sys_npx_save(struct s_tcb_full *caller);
00019 void sys_npx_restore(struct s_tcb_full *caller);
00020 void do_npxsrv_syscall(void);
00021 void npxsrv_syscall(void);
00022 void npx_nm_except_test(void);
00023 void do_npx_mf_except(void);
00024 void npx_mf_except(void);
00025 void npx_main(int argc, char **argv);
00026 #endif /* __KERNEL__ */
00027 #endif