/* This function will initialize hardware interrupt Called by the primary cpu(cpu0)  */
void rt_hw_interrupt_init(void)
/* This function will initialize hardware interrupt Called by the primary cpu(cpu0)  */
void rt_hw_interrupt_init(void)
{
    rt_uint32_t gic_dist_base;
    rt_uint32_t gic_irq_start;
    rt_hw_vector_init();
    rt_memset(isr_table, 0x00, sizeof(isr_table));
    gic_dist_base = platform_get_gic_dist_base();
    gic_irq_start = GIC_IRQ_START;
    arm_gic_dist_init(0, gic_dist_base, gic_irq_start);
    arm_gic_cpu_init(0);
    arm_gic_redist_init(0);
}