static void timer_hw_init(void)
{
- cpuflags_t flags;
+ cpu_flags_t flags;
IRQ_SAVE_DISABLE(flags);
/* Reset Timer flags */
static void timer_hw_init(void)
{
- cpuflags_t flags;
+ cpu_flags_t flags;
IRQ_SAVE_DISABLE(flags);
/* Reset Timer overflow flag */
#elif (CONFIG_TIMER == TIMER_ON_OUTPUT_COMPARE2)
static void timer_hw_init(void)
{
- cpuflags_t flags;
+ cpu_flags_t flags;
IRQ_SAVE_DISABLE(flags);
/* Reset Timer flags */
static void timer_hw_init(void)
{
- cpuflags_t flags;
+ cpu_flags_t flags;
IRQ_SAVE_DISABLE(flags);
/* Reset Timer overflow flag */