+ /* Get cpu_flags_t definition from the hosting environment. */
+ #include <cfg/os.h>
+ #if OS_EMBEDDED
+ typedef uint32_t cpu_flags_t;
+ #endif
+
+ typedef uint32_t cpu_atomic_t;
+ typedef uint32_t cpu_stack_t;
+ typedef cpu_stack_t cpu_aligned_stack_t;