projects
/
bertos.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Set correct debug pins for AT91SAM7X.
[bertos.git]
/
cpu
/
types.h
diff --git
a/cpu/types.h
b/cpu/types.h
index 985dbe6bf170580bc9b0f78ec79e0f30d1c11646..187d45f14be1f08798e5f61eeeacb2489b14e0ab 100644
(file)
--- a/
cpu/types.h
+++ b/
cpu/types.h
@@
-49,6
+49,8
@@
typedef uint16_t cpuflags_t; // FIXME
typedef unsigned int cpustack_t;
typedef uint16_t cpuflags_t; // FIXME
typedef unsigned int cpustack_t;
+ #warning Verify following costant
+ #define SIZEOF_CPUSTACK_T 2
#elif CPU_X86
#elif CPU_X86
@@
-60,29
+62,36
@@
#if CPU_X86_64
typedef uint64_t cpustack_t;
#if CPU_X86_64
typedef uint64_t cpustack_t;
+ #define SIZEOF_CPUSTACK_T 8
#else
typedef uint32_t cpustack_t;
#else
typedef uint32_t cpustack_t;
+ #define SIZEOF_CPUSTACK_T 4
#endif
#elif CPU_ARM
typedef uint32_t cpuflags_t;
typedef uint32_t cpustack_t;
#endif
#elif CPU_ARM
typedef uint32_t cpuflags_t;
typedef uint32_t cpustack_t;
+ #define SIZEOF_CPUSTACK_T 4
#elif CPU_PPC
typedef uint32_t cpuflags_t; // FIXME
typedef uint32_t cpustack_t; // FIXME
#elif CPU_PPC
typedef uint32_t cpuflags_t; // FIXME
typedef uint32_t cpustack_t; // FIXME
+ #define SIZEOF_CPUSTACK_T 4
#elif CPU_DSP56K
typedef uint16_t cpuflags_t;
typedef unsigned int cpustack_t;
#elif CPU_DSP56K
typedef uint16_t cpuflags_t;
typedef unsigned int cpustack_t;
-
+ #warning Verify following costant
+ #define SIZEOF_CPUSTACK_T 2
+
#elif CPU_AVR
typedef uint8_t cpuflags_t;
typedef uint8_t cpustack_t;
#elif CPU_AVR
typedef uint8_t cpuflags_t;
typedef uint8_t cpustack_t;
+ #define SIZEOF_CPUSTACK_T 1
#else
#error No CPU_... defined.
#else
#error No CPU_... defined.
@@
-178,6
+187,7
@@
STATIC_ASSERT(sizeof(uint32_t) * CPU_BITS_PER_CHAR == 32);
STATIC_ASSERT(sizeof(int64_t) * CPU_BITS_PER_CHAR == 64);
STATIC_ASSERT(sizeof(uint64_t) * CPU_BITS_PER_CHAR == 64);
#endif
STATIC_ASSERT(sizeof(int64_t) * CPU_BITS_PER_CHAR == 64);
STATIC_ASSERT(sizeof(uint64_t) * CPU_BITS_PER_CHAR == 64);
#endif
+STATIC_ASSERT(sizeof(cpustack_t) == SIZEOF_CPUSTACK_T);
#endif /* CPU_TYPES_H */
#endif /* CPU_TYPES_H */