Searched refs:IPI_TO_LPI (Results 1 – 1 of 1) sorted by relevance
73 #define IPI_TO_LPI(ipi, cpu) ((cpu) * INTR_IPI_COUNT + (ipi)) macro1042 irq = IPI_TO_LPI(gbi->gbi_irq, PCPU_GET(cpuid)); in gicv5_enable_ipi()1546 irq = IPI_TO_LPI(gi->gi_isrc.gbi_irq, cpu); in gicv5_ipi_send()1571 irq = IPI_TO_LPI(ipi, cpu); in gicv5_ipi_setup()