# rtai_fpu.h

    00001 /*
    00002  * include/asm-arm/fpu.h
    00003  *
    00004  * Just a dummy for RTAI now, because our ARM has no FPU
    00005  * If you have an ARM-processor with FPU, add the necessary code to up_task_sw ...
    00006  */
    00007
    00008 #ifndef RTAI_FPU_ASM_H
    00009 #define RTAI_FPU_ASM_H
    00010
    00011 #ifdef CONFIG_RTAI_FPU_SUPPORT
    00012
    00013 extern void save_fpenv(long *fpu_reg);
    00014 extern void restore_fpenv(long *fpu_reg);
    00015
    00016 #else /* notdef CONFIG_RTAI_FPU_SUPPORT */
    00017
    00018 #define save_fpenv(x)
    00019 #define restore_fpenv(x)
    00020
    00021 #endif /* CONFIG_RTAI_FPU_SUPPORT */
    00022
    00023 #endif /* RTAI_FPU_ASM_H */