ILR_INTTGT_INT
mpic_irq_lower(opp, dst, ILR_INTTGT_INT);
mpic_irq_raise(opp, dst, ILR_INTTGT_INT);
mpic_irq_raise(opp, dst, ILR_INTTGT_INT);
mpic_irq_lower(opp, dst, ILR_INTTGT_INT);
if (output != ILR_INTTGT_INT) /* TODO */
if (output != ILR_INTTGT_INT) /* TODO */
if (src->output != ILR_INTTGT_INT) {
mpic_irq_raise(opp, dst, ILR_INTTGT_INT);
mpic_irq_lower(opp, dst, ILR_INTTGT_INT);
if (src->output != ILR_INTTGT_INT) {
src->output = ILR_INTTGT_INT;