- typedef uint16_t cpuflags_t; // FIXME
- typedef unsigned int cpustack_t;
- typedef unsigned int cpuatomic_t;
+ typedef uint16_t cpu_flags_t; // FIXME
+ typedef unsigned int cpu_stack_t;
+ typedef cpu_stack_t cpu_aligned_stack_t;
+ typedef unsigned int cpu_atomic_t;