Searched refs:irq_ipi0 (Results 1 – 1 of 1) sorted by relevance
235 uint32_t irq_ipi0; member731 write_IRQreg_ivpr(opp, opp->irq_ipi0 + idx, val); in openpic_gbl_write()790 retval = read_IRQreg_ivpr(opp, opp->irq_ipi0 + idx); in openpic_gbl_read()1049 opp->src[opp->irq_ipi0 + idx].destmask |= val; in openpic_cpu_write_internal()1050 openpic_set_irq(opp, opp->irq_ipi0 + idx, 1); in openpic_cpu_write_internal()1051 openpic_set_irq(opp, opp->irq_ipi0 + idx, 0); in openpic_cpu_write_internal()1162 if ((irq >= opp->irq_ipi0) && (irq < (opp->irq_ipi0 + MAX_IPI))) { in openpic_iack()1314 opp->irq_ipi0 = virq; in fsl_common_init()