Symbol: IPI_IRQ_TYPE_SGI
drivers/mailbox/zynqmp-ipi-mailbox.c
893
if (pdata->irq_type == IPI_IRQ_TYPE_SGI)
drivers/mailbox/zynqmp-ipi-mailbox.c
969
if (pdata->irq_type == IPI_IRQ_TYPE_SGI) {