MPIC_PER_CPU_IRQS_NR
return hwirq < MPIC_PER_CPU_IRQS_NR;
for (irq_hw_number_t i = 0; i < MPIC_PER_CPU_IRQS_NR; i++) {
for_each_set_bit(i, &cause, MPIC_PER_CPU_IRQS_NR) {
nr_irqs = MPIC_PER_CPU_IRQS_NR;