/* Returns : OK if process CPU IRQ succeeded, others if failed.  */
s32 interrupt_entry(void)
/* Returns : OK if process CPU IRQ succeeded, others if failed.  */
s32 interrupt_entry(void)
{
    u32 intno = intc_get_current_interrupt();
    (isr_table[intno].pisr) (0, isr_table[intno].parg);
    return OK;
}