/* Update the current system clock. This function will be invoked, when system clock has changed.  */
static void cmu_clock_update(uint32_t clock)
/* Update the current system clock. This function will be invoked, when system clock has changed.  */
static void cmu_clock_update(uint32_t clock)
{
    __system_clock = clock;
    if (clock > 1000000)
        ald_tick_init(TICK_INT_PRIORITY);
    return;
}