/* This function will init pit for system ticks  */
void rt_hw_timer_init()
/* This function will init pit for system ticks  */
void rt_hw_timer_init()
{
    at91sam9g45_pit_init();
    rt_hw_interrupt_install(AT91C_ID_SYS, rt_timer_handler,
                            RT_NULL, "system");
    rt_hw_interrupt_umask(AT91C_ID_SYS);
}