115 static void iss_model_ipi_clear(int irq)  in iss_model_ipi_clear()  argument
146 void idu_irq_set_mode(uint8_t irq, uint8_t dest_mode, uint8_t trig_mode)  in idu_irq_set_mode()  argument
151 	IDU_SET_COMMAND(irq, IDU_IRQ_WMODE);  in idu_irq_set_mode()
155 void idu_irq_set_tgtcpu(uint8_t irq, uint32_t mask)  in idu_irq_set_tgtcpu()  argument
158 	IDU_SET_COMMAND(irq, IDU_IRQ_WBITMASK);  in idu_irq_set_tgtcpu()
162 bool idu_irq_get_ack(uint8_t irq)  in idu_irq_get_ack()  argument
166 	IDU_SET_COMMAND(irq, IDU_IRQ_ACK);  in idu_irq_get_ack()
169 	return val & (1 << irq);  in idu_irq_get_ack()
178 bool idu_irq_get_pend(uint8_t irq)  in idu_irq_get_pend()  argument
182 	IDU_SET_COMMAND(irq, IDU_IRQ_PEND);  in idu_irq_get_pend()
185 	return val & (1 << irq);  in idu_irq_get_pend()