/* This function will init timer4 for system ticks  */
void rt_hw_timer_init(void)
/* This function will init timer4 for system ticks  */
void rt_hw_timer_init(void)
{
    *(RP)TIMER_T1LCR = 880000;
    *(RP)TIMER_T1CR = 0x06;
    rt_hw_interrupt_install(INTSRC_TIMER1, rt_timer_handler, RT_NULL, "tick");
    rt_hw_interrupt_umask(INTSRC_TIMER1);
    *(RP)TIMER_T1CR |= 0x01;
}