| 123456789101112131415161718192021222324252627282930313233 |
- #ifndef OS_CPU_H
- #define OS_CPU_H
- #include "nds32.h"
- /*
- * *********************************************************************************************************
- * * DATA TYPES
- * * (Compiler Specific)
- * *********************************************************************************************************
- * */
- typedef unsigned char BOOLEAN;
- typedef unsigned char INT8U; /* Unsigned 8 bit quantity */
- typedef signed char INT8S; /* Signed 8 bit quantity */
- typedef unsigned short INT16U; /* Unsigned 16 bit quantity */
- typedef signed short INT16S; /* Signed 16 bit quantity */
- typedef unsigned int INT32U; /* Unsigned 32 bit quantity */
- typedef signed int INT32S; /* Signed 32 bit quantity */
- typedef float FP32; /* Single precision floating point */
- typedef double FP64; /* Double precision floating point */
- typedef unsigned long OS_STK; /* Each stack entry is 32-bit wide */
- typedef unsigned long OS_CPU_SR; /* Define size of CPU status register (PSR = 32 bits) */
- void OS_CPU_IRQ_ISR(void); /* See OS_CPU_A.S */
- void OS_CPU_IRQ_ISR_Handler(void); /* See BSP code */
- void OSCtxSw(void);
- void CtxSave(void);
- void CtxRestore(void);
- void OS_DCache_Writeback(void *aVA, unsigned aSize);
- #endif
|
