/* ----------- TimerP ----------- */
#include <kernel/dpl/TimerP.h>
#define CONFIG_TIMER0 (0u)
#define CONFIG_TIMER0_BASE_ADDR (0x4800000u)
#define CONFIG_TIMER0_INT_NUM (20u)
#define CONFIG_TIMER0_INPUT_CLK_HZ (12500000u) <-----------------------TIMER0 输入频率 是 12.5M , 频率源是 HFOSC0 25M
#define CONFIG_TIMER0_INPUT_PRE_SCALER (1u) <----------------------- 预分频器应该是 2 分频，但没有分频，实测频率还是 25M
/* This represents the required time period 'floored' to nearest usec */
#define CONFIG_TIMER0_USEC_PER_TICK (1000u)
/* This represents the required time period 'floored' to nearest nsec */
#define CONFIG_TIMER0_NSEC_PER_TICK (1000000u)
/* This represents the actual time period 'floored' to nearest nsec */
#define CONFIG_TIMER0_NSEC_PER_TICK_ACTUAL (1000000u)
/* NOTE: nsec per tick is used as input to the timer API */
/* NOTE: The actual nsec per tick that will be achieved depends on timer input clock hz precision */
