/* This function configures the source of the time base. The time source is configured to have 1ms time base with a dedicated Tick interrupt priority.  */
__weak void ald_tick_init(uint32_t prio)
/* This function configures the source of the time base. The time source is configured to have 1ms time base with a dedicated Tick interrupt priority.  */
__weak void ald_tick_init(uint32_t prio)
{
    csi_coret_config(ald_cmu_get_sys_clock() / ALD_SYSTICK_INTERVAL_1MS, CLINT_IRQn);
    csi_vic_set_prio(CLINT_IRQn, prio);
    csi_vic_enable_sirq(CLINT_IRQn);
    return;
}