cfg_timer_default.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2018 Inria
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once
 
#include "kernel_defines.h"
#include "periph_cpu.h"
 
#ifdef __cplusplus
extern "C" {
#endif
 
static const timer_conf_t timer_config[] = {
    {
        .dev      = NRF_TIMER1,
        .channels = 3,
        .bitmode  = TIMER_BITMODE_BITMODE_32Bit,
        .irqn     = TIMER1_IRQn
    },
    {
        /* BEWARE: This timer is allocated to the nRF52 IEEE 802.15.4 driver.
         *         Do not use this timer (unless you do not use IEEE 802.15.4
         *         networking)!
         */
        .dev      = NRF_TIMER2,
        .channels = 3,
        .bitmode  = TIMER_BITMODE_BITMODE_32Bit,
        .irqn     = TIMER2_IRQn
    },
    /* The later timers are only present on the larger NRF52 CPUs like NRF52840
     * or NRF52833, but not small ones like NRF52810. They do have 2 channels
     * more (CC registers [0..5] instead of CC registers [0..3]). */
#ifdef NRF_TIMER3
    {
        .dev      = NRF_TIMER3,
        .channels = 5,
        .bitmode  = TIMER_BITMODE_BITMODE_32Bit,
        .irqn     = TIMER3_IRQn
    },
#endif
#ifdef NRF_TIMER4
    {
        .dev      = NRF_TIMER4,
        .channels = 5,
        .bitmode  = TIMER_BITMODE_BITMODE_32Bit,
        .irqn     = TIMER4_IRQn
    }
#endif
};
 
#define TIMER_0_ISR         isr_timer1
#define TIMER_1_ISR         isr_timer2
#define TIMER_2_ISR         isr_timer3
#define TIMER_3_ISR         isr_timer4
 
#define TIMER_0_MAX_VALUE 0xffffffff
#define TIMER_1_MAX_VALUE 0xffffffff
#ifdef NRF_TIMER3
#define TIMER_2_MAX_VALUE 0xffffffff
#endif
/* If there is no NRF_TIMER3 this should be TIMER_2 because the index shifts
 * up, but there is only a TIMER4 if there is a TIMER3 too. */
#ifdef NRF_TIMER4
#define TIMER_3_MAX_VALUE 0xffffffff
#endif
 
#define TIMER_NUMOF         ARRAY_SIZE(timer_config)
#ifdef __cplusplus
}
#endif