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