mpic_irq_read
reg = mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI))
mpic_irq_read(i, MPIC_INFO(IRQ_DESTINATION)) | msk);
mpic_irq_read(i, MPIC_INFO(IRQ_DESTINATION)) & ~msk);
mpic_irq_read(i, MPIC_INFO(IRQ_VECTOR_PRI));
mpic_irq_read(i, MPIC_INFO(IRQ_DESTINATION));
mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI)) &
} while(mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI)) & MPIC_VECPRI_MASK);
mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI)) |
} while(!(mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI)) & MPIC_VECPRI_MASK));
vold = mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI));
vecpri = mpic_irq_read(src, MPIC_INFO(IRQ_VECTOR_PRI));