/* Change Logs: Date Author Notes  Jiaxun Yang Initial version This is the timer interrupt service routine.  */
void rt_hw_timer_handler(void)
/* Change Logs: Date Author Notes  Jiaxun Yang Initial version This is the timer interrupt service routine.  */
void rt_hw_timer_handler(void)
{
    unsigned int count;
    count = read_c0_compare();
    write_c0_compare(count);
    write_c0_count(0);
    rt_tick_increase();
}