/* This function is used to read a timer's current value.  */
u32 tls_timer_read(u8 timer_id)
/* This function is used to read a timer's current value.  */
u32 tls_timer_read(u8 timer_id)
{
	u32 value;
    if (!(wm_timer_bitmap & BIT(timer_id)))
    {
        return 0;
    }
	value = tls_reg_read32(HR_TIMER0_CNT + 0x04 * timer_id);
    return value;
}