mpic_irq_write
mpic_irq_write(i, MPIC_INFO(IRQ_VECTOR_PRI), vecpri);
mpic_irq_write(i, MPIC_INFO(IRQ_DESTINATION), 1 << cpu);
mpic_irq_write(src, MPIC_INFO(IRQ_VECTOR_PRI),
mpic_irq_write(i, MPIC_INFO(IRQ_DESTINATION),
mpic_irq_write(i, MPIC_INFO(IRQ_DESTINATION),
mpic_irq_write(i, MPIC_INFO(IRQ_VECTOR_PRI),
mpic_irq_write(i, MPIC_INFO(IRQ_DESTINATION),
mpic_irq_write(src, MPIC_INFO(IRQ_VECTOR_PRI),
mpic_irq_write(src, MPIC_INFO(IRQ_VECTOR_PRI),
mpic_irq_write(src, MPIC_INFO(IRQ_DESTINATION), 1 << cpuid);
mpic_irq_write(src, MPIC_INFO(IRQ_DESTINATION),
mpic_irq_write(src, MPIC_INFO(IRQ_VECTOR_PRI), vnew);
mpic_irq_write(src, MPIC_INFO(IRQ_VECTOR_PRI), vecpri);
mpic_irq_write(src, MPIC_INFO(IRQ_DESTINATION), 1 << cpuid);