/* Returns : OK if initialize interrupt manager succeeded, others if failed.  */
s32 interrupt_init(void)
/* Returns : OK if initialize interrupt manager succeeded, others if failed.  */
s32 interrupt_init(void)
{
    s32 index;
    intc_init();
    for (index = 0; index < SUNXI_RINTC_IRQ_SOURCE_MAX; index++) {
        isr_table[index].pisr = isr_default;
        isr_table[index].parg = NULL;
    }
    return OK;
}