/* The clock_cpu_microsecond() fucntion shall return the millisecond according to cpu_tick parameter. */
uint32_t clock_cpu_millisecond(uint32_t cpu_tick)
/* The clock_cpu_microsecond() fucntion shall return the millisecond according to cpu_tick parameter. */
uint32_t clock_cpu_millisecond(uint32_t cpu_tick)
{
    float unit = clock_cpu_getres();
    return (uint32_t)((cpu_tick * unit) / (1000 * 1000));
}