_mpic_get_one_irq
return _mpic_get_one_irq(mpic, MPIC_INFO(CPU_INTACK));
return _mpic_get_one_irq(mpic, MPIC_INFO(CPU_MCACK));