/* The function initial system timer. Use local timer (== DNUM of a core) to generate a clock on TIMO0,interrupts are generated as well  */
void rt_hw_system_timer_start(void)
/* The function initial system timer. Use local timer (== DNUM of a core) to generate a clock on TIMO0,interrupts are generated as well  */
void rt_hw_system_timer_start(void)
{
    Timer64_Config tmrCfg;
    gp_bootcfg_regs->TOUTSEL = (DNUM*2) << CSL_BOOTCFG_TOUTSEL_TOUTSEL0_SHIFT;
    tmrCfg.timer_num = DNUM;
    tmrCfg.timerMode = TIMER_PERIODIC_CLOCK;
    tmrCfg.period = (unsigned long long) RT_TICK_PER_SECOND * DSP_CORE_SPEED_HZ / 6000;
    tmrCfg.reload_period = 0;
    timer64_init(&tmrCfg);
}