/* The clock_cpu_microsecond() fucntion shall return the microsecond according to cpu_tick parameter. */
uint64_t clock_cpu_microsecond(uint64_t cpu_tick)
/* The clock_cpu_microsecond() fucntion shall return the microsecond according to cpu_tick parameter. */
uint64_t clock_cpu_microsecond(uint64_t cpu_tick)
{
    uint64_t unit = clock_cpu_getres();
    return (uint64_t)(((cpu_tick * unit) / (1000UL * 1000)) / 1000);
}