Changeset 459 for trunk/hal/tsar_mips32/core/hal_shared_types.h

Timestamp:

Aug 13, 2018, 1:43:20 PM (6 years ago)

Author:

alain

Message:

Introduce the math library, to support the floating point
data used by the multi-thread fft application.
Fix several bugs regarding the FPU context save/restore.
Introduce support for the %f format in printf.

File:

• trunk/hal/tsar_mips32/core/hal_shared_types.h (modified) (3 diffs)

trunk/hal/tsar_mips32/core/hal_shared_types.h

@@ -1 +1 @@
 /*
- * hal_kernel_types.h - Data types shared by kernel & libraries for TSAR-MIPS32.
+ * hal_shared_types.h - Data types shared by kernel & libraries for TSAR-MIPS32.
  *
  * Author  Alain Greiner (2016)
@@ -26 +26 @@
 
 /*******************i***************************************************************
- * This file defines - for the TSAR_MIPS32 architecture - the <reg_t> type, used 
- * by the hal_user_syscall() function, called by several user-level libraries 
- * to pass syscall arguments to the  kernel, and used by the do_syscall() function,
- * called by the kernel syscall handler, to analyse arguments.
- * It is also used by various kernel functions such as the hal_*_irq() functions
- * to save/restore the SR register value.
+ * This file defines - for the TSAR_MIPS32 architecture - types that can be used
+ * by both the kernel and the user applications.
+ *
+ * - the <reg_t> type, is used by the hal_user_syscall() function, called by 
+ *   several user-level libraries to pass syscall arguments to the  kernel, 
+ *   and used by the do_syscall() kernel function, to analyse arguments.
+ *   It is also used by the hal_*_irq() kernel functions to save/restore 
+ *   the SR register value.
  **********************************************************************************/
 
@@ -40 +42 @@
 typedef unsigned long int     reg_t;    // core register
 
-#endif  /* HAL_TYPES_H_ */
+#endif